chiark / gitweb /
Drop an unneeded lifetime argument
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Apr 2022 11:46:08 +0000 (12:46 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Apr 2022 14:15:30 +0000 (15:15 +0100)
commit495749ff85c0b0dc9750a7fb709ac55208f8e66a
tree7f7a6c17d8bf34abf6c4a6f0357f2d76e2fcb32d
parent13805c8e7d9c0b96680be189cdbc48b5783baf49
Drop an unneeded lifetime argument

This is not needed.  (I'm not sure whether I did this because
ambassador didn't like the lifetime argument, or just because I saw it
in passing.)

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