pock: Use floor division on integers.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 22 Oct 2019 11:18:41 +0000 (12:18 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 25 Nov 2019 17:43:08 +0000 (17:43 +0000)
commit7085a96cd490664c51c3046a499a7f38de00c9ac
tree1ede6730b28c2bb79af4cc3abef73e26097fd98f
parent77126f3e3a4246b333782212082ed9155f68e3f1
pock: Use floor division on integers.

Python 3 wants to give me a float here, which is obviously wrong.
pock