zeripath 51f6a7ab10 On merge of already closed PR redirect back to the pulls page (#10010) ...

* On merge of already closed PR redirect back to the pulls page

* More redirects
* As per @6543

Co-Authored-By: 6543 <6543@obermui.de>

2020-01-27 10:26:53 +00:00

32 KiB

Raw Blame History

View Raw