1663: Mark integrated Pull Requests as properly merged in their repositories#1409
Closed
TheShermanTanker wants to merge 5 commits intoopenjdk:masterfrom
Closed
1663: Mark integrated Pull Requests as properly merged in their repositories#1409TheShermanTanker wants to merge 5 commits intoopenjdk:masterfrom
TheShermanTanker wants to merge 5 commits intoopenjdk:masterfrom
