c66dbc92d4
directory. Rename (via repository copy) some files so that the potential for future conflicts is minimized. PR: conf/4363