Fix is available here: https://git.gnome.org/browse/gnome-sudoku/patch/?id=f8ebeacd96dac6caa1eeb8c59fe366fc46871a49
Fix is available here: https:/ /git.gnome. org/browse/ gnome-sudoku/ patch/? id=f8ebeacd96da c6caa1eeb8c59fe 366fc46871a49