Breaking fix to ersatz double decktet display issues in Deckfish#261

mcdemarco merged 1 commit intoAbstractPlay:developAbstractPlay/gameslib:developfrom

mcdemarco:developmcdemarco/gameslib:developCopy head branch name to clipboard