Hi, I personally don't want to spend effort renaming this library a second time, but if you feel strongly about the upstream package name, you have my approval to take action to rename it. It would need changed in various places: bugzilla.gnome.org, git.gnome.org, jhbuild, gnome- continuous. That would indeed be a good excuse to fix the API versioning. We don't need to request permission from downstreams -- they can rename their packages or not as they please -- but we should indeed inform distributor-list.
On Mon, 2016-07-04 at 17:05 +0200, Michael Biebl wrote: > They will have to undergo a library transition anyway if the library > is > renamed as part of [1]. Maybe we could piggy-back a complete rename. The only dependencies of libgames-support use its pkg-config file, so the only thing that would need to be done is to just rebuild the handful of dependent packages. Well, I know Debian renames packages when the soname changes, but RPM has actual .so dependencies, so we don't rename packages for soname changes.