I've created https://github.com/pgdg-packaging/pgdg-rpms/issues/78 in PGDG packaging project. This issue is to track the status of it.