tree 449e0978a4921a7c9f80f7f9d2a0c2c723f9257c
parent 3edf0992662522e041bb56288c0f112159382ec9
author Ralf Jung <post@ralfj.de> 1565462995 +0200
committer Ralf Jung <post@ralfj.de> 1566039406 +0200

use ImmTy::from_uint in a few more spots