On Tue, 14 Dec 2021 16:15:00 GMT, Christian Stein <cstein at openjdk.org> wrote: > LGTM (until mercurial hits `10.0`?) You are right, I should convert to int instead. Python really isn't my first language. ------------- PR: https://git.openjdk.java.net/skara/pull/1261