-
Committer:
Jelmer Vernooij
-
Date:
2019-03-02 23:49:52 UTC
-
mto:
This revision was merged to the branch mainline in
revision
7292.
-
Revision ID:
jelmer@jelmer.uk-20190302234952-ft6nx2trqimd841q
Avoid using time.clock, which is going away in python 3.8.