Message308158
Ok, I merged Nick's PR: -b and -bb options now have the highest priority. I close the issue. |
|
Date |
User |
Action |
Args |
2017-12-12 22:01:13 | vstinner | set | recipients:
+ vstinner, barry, brett.cannon, ncoghlan, pitrou, larry, pjenvey, jwilk, ezio.melotti, eric.araujo, Arfrever, brian.curtin, serhiy.storchaka, jdufresne |
2017-12-12 22:01:13 | vstinner | set | messageid: <1513116073.86.0.213398074469.issue20361@psf.upfronthosting.co.za> |
2017-12-12 22:01:13 | vstinner | link | issue20361 messages |
2017-12-12 22:01:13 | vstinner | create | |
|