message no. 178970
Posted by altendky in #github at 2020-04-05T12:22:46Z
escherial: i think if they merge the second pr that github realizes the first has been merged to and closes it. but sure, a test wouldn't hurt.
Posted by altendky in #github at 2020-04-05T12:22:46Z