Fix edit command for double-digit ranks
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 7 Jan 2016 22:32:47 +0000 (23:32 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 7 Jan 2016 22:32:47 +0000 (23:32 +0100)
commit864d5963537c1810e4c12c818e839381eee3a410
treecc9d34db2d33bc257f37d9051435bd7c994ad100
parent8551bb2313bce61f0f2aa30ed789b9dd28d35dcf
Fix edit command for double-digit ranks

Rank numbers above 9 were printed as their internal 1-character
representation.
backend.c