v8.2.2638
4c86830f · patch 8.2.2638: cannot write a message to the terminal from the GUI ·