[Gretl-devel] crash while a script was running

Hi, I just saw gretl (September snapshot) crash on Windows 10, but I'll admit right away that I couldn't reproduce it. A script was running (in the GUI), then in parallel I clicked on the "window list" button in gretl's main window (top right, just below the window-close button in the corner) and gretl crashed. Even though it's not reproducible for me right now I thought I'd let you know. cheers sven