https://bugzilla.redhat.com/show_bug.cgi?id=834747
--- Comment #10 from Björn Persson <[email protected]> --- (In reply to comment #7) > Would this mean renaming the /usr/share/gps directory, too? Just so we're all aware of the implications: If /usr/share/gps is renamed, then we'll have to patch the makefiles of various libraries that want to install files in /usr/share/gps/plug-ins. I checked GTKada, XMLada and Gnatcoll, and the directory name "gps" is hard-coded in all of them. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ package-review mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
