On Wed, Apr 01, 2020 at 10:26:40AM +0000, Daniel Shahaf wrote: > If you haven't already, re-run that builder using subversion-bot to > check if the bug is reproducible.
Can you please do this yourself when you find time for it? You provide a lot of good ideas, while at the same time asking others to implement them. That's fine, of course, it never hurts to ask. I guess you simply do not have the time to carry out your idea and then come back to the list and report the result. But I don't have enough time on my hands either to carry out most of your ideas, so please don't be offended when I refuse. I've already done a code review to try to pin-poin the bug. I've added the docstrings you asked for in the other thread. I'm doing the RM work. All of this happens on the side to other stuff I have to do.
