Message331658
Luna and I talked a bit about this offline and we decided not to merge the PR (nor the original patch, which is the same). Instead Luna will add a note to the docs explaining the caveat. |
|
Date |
User |
Action |
Args |
2018-12-11 22:21:13 | gvanrossum | set | recipients:
+ gvanrossum, bethard, paul.j3, jnothman, krassowski, BNMetrics |
2018-12-11 22:21:13 | gvanrossum | set | messageid: <1544566873.38.0.788709270274.issue16516@psf.upfronthosting.co.za> |
2018-12-11 22:21:13 | gvanrossum | link | issue16516 messages |
2018-12-11 22:21:13 | gvanrossum | create | |
|