Merge pull request #205 from ozbenh/timing
authorPaul Mackerras <paulus@ozlabs.org>
Sat, 13 Jun 2020 02:36:16 +0000 (12:36 +1000)
committerGitHub <noreply@github.com>
Sat, 13 Jun 2020 02:36:16 +0000 (12:36 +1000)
commit12a257f01edb3c1d8986e89e6750d4a1f69822f4
tree1af551c3adf17f6e1d8022c5846198e85480159f
parentbf6cc2a05a5bc85555527422ce13210f9c03a6bf
parent176ae5c306ac61269d2489f39f65712d569b0cb7
Merge pull request #205 from ozbenh/timing

Timing improvements