Hi, We received a patch for Wormux 0.7.4 fixing a *crash* in option menu: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=395217
The bug is already fixed in Wormux trunk (near commit 904). I applied the patch on trunk but it was stupid since video.cpp already fix all bugs from option_menu.cpp of Wormux 0.7.4. So, question: should I release 0.7.5 to fix this bug and maybe other bugs (and add new maps/skins)? I propose a new 0.7.x release since 0.8 is far to be stable enough for the "0.8 final". So do you know other crash in 0.7.x? Haypo -- Victor Stinner aka haypo http://hachoir.org/ _______________________________________________ Wormux-dev mailing list Wormux-dev@gna.org https://mail.gna.org/listinfo/wormux-dev
