chiark / gitweb /
xdata: Remove a now-redundant Default bound
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 18 Mar 2021 21:09:58 +0000 (21:09 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 19 Mar 2021 20:03:57 +0000 (20:03 +0000)
commit7785bf4559db6ccbdfc337bc831cf992ff498116
tree263eabc232682cb51352ee392e0e8cb9d590c2a2
parent1ac1f41294bbd32a9744da2878a516e6c3de5175
xdata: Remove a now-redundant Default bound

We were trying to get rid of these, but missed this one.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/gamestate.rs