This is the idea:
Would "PR#1234" be a better label you think? rather than "see PR"?
other than that thought, a big :thumbsup: from me (not a code review though)
1 new commit added
PR#<id>
See PR
Good idea, adjusted :)
Looks sane to me, but no test case to update?
Apparently there was none no, I'll see about adding some but maybe in another PR
Let's merge, we can add the tests a little later :)
Pull-Request has been merged by pingou