message no. 163430
Posted by nedbat in #github at 2017-02-13T00:57:09Z
MuffinMedic: you can make a PR into their branch. once it's merged, it will be part of their PR.
Posted by nedbat in #github at 2017-02-13T00:57:09Z