Thanks for your answer.
I've tested the suggested patch (at least, I apply it as I understand
the last message).
diff -u dev/wscons/wsdisplay.c /home/jerome/wsdisplay.c
--- dev/wscons/wsdisplay.c Wed Aug 5 15:50:25 2020
+++ /home/jerome/wsdisplay.cWed Apr 28 19:42:03 2021
@@ -2175,1
Hi Stefan, Mikolaj, all,
I'm glad this is getting renewed attention.
I have been unable to reliably reproduce this, but it still happens to
me from time to time.
(I am still running stable 6.8, just fyi.)
If there's anything else I can do in support, please let me know.
Stephen
Am 28.04.21 um
