Ichthyostega Thu, 30 Jan 2020 17:28:17 -0800
Hello back from the future... just run my probided testcase from Debian/Buster, i.e. with
GNU gdb (Debian 8.2.1-2+b3) 8.2.1 ...and it did not crash anymore. IMHO ticket could be closed
