Thu, 26 May 2022 23:41:10 +0200IDE: fix exception happening in debug mode when logging process termination.
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 26 May 2022 23:41:10 +0200] rev 3483
IDE: fix exception happening in debug mode when logging process termination.