Bug#979337: pinball-table-gnu-data: Crashes when 'PLAY' is selected

2021-01-05 Thread Bruno Kleinert
Am Dienstag, dem 05.01.2021 um 15:36 +0100 schrieb Philippe Coval: > hi > > > yes this is  known  issue > > I have fixed it in: > > https://github.com/rzr/pinball-table-gnu/commit/8ee41d30dd8a76b3b0cb93220cc2dd08a90a7656 > ‌ > > please confirm this patch fixes it > > I may release a new

Bug#979337: pinball-table-gnu-data: Crashes when 'PLAY' is selected

2021-01-05 Thread Bruno Kleinert
Package: pinball-table-gnu-data Version: 0.0.20200601-2 Severity: normal X-Debbugs-Cc: fu...@debian.org Hi, sometimes Emilia Pinball dies with a segfault when I want to play the "GNU" table. It does not always crash, but from time to time. Steps to reproduce: 1. Start Emilia Pinball 2. Select