![]() | 1 | initial version |
Please do file a bug, as @johnthacker suggested, as he has a change that might fix it in merge request !19627, but I'm not sure we have a capture that can reproduce the problem.
A bug report would make an easier-to-find record of the problem, and let us more easily associate the fix with the problem, as well as, if the bug report includes a capture that demonstrates the problem, letting us text changes intended to fix the problem.