Currently the page title is like Pull Request #.... It would be useful to use PR#16: , as that way it would be possible for me to find the correct PR when I have more tabs open.
This is about the
Fixed by https://pagure.io/pagure/pull-request/352 (and merged)