Message373981
First, I also no longer see the error with a local PR 21446 build on the Win10 buildbot.
As for timing, I believe policy is to revert, but in my view it can probably depend on how short "a bit" is for the fix. We've been in this state for 4-5 days already, so one more day, for example, probably won't matter that much.
If it looks like it'll be longer, or the timing is uncertain, then I'd probably suggest reverting until the new PR is ready. |
|
Date |
User |
Action |
Args |
2020-07-20 03:45:02 | db3l | set | recipients:
+ db3l, scoder, yselivanov, tontinton |
2020-07-20 03:45:02 | db3l | set | messageid: <1595216702.87.0.0972305175538.issue41273@roundup.psfhosted.org> |
2020-07-20 03:45:02 | db3l | link | issue41273 messages |
2020-07-20 03:45:02 | db3l | create | |
|