Nick Dokos <ndo...@gmail.com> writes: > > Starting from release_8.2.5h-888-g798bb8d (this was latest as of this > morning) and reverting the above commit fixes Fletcher's problem. >
Just to be clear: I'm *not* advocating that the commit be reverted. I used the revert just to confirm that something in that patch caused the problem that Fletcher observed. Nick