tree 24dce1a5084909f36abd8fe06b193942ffb8bab0
parent 43b77ffabba8a48144080674973362150cbcfb28
author Gilles Sadowski <gilleseran@gmail.com> 1603851693 +0100
committer Gilles Sadowski <gilleseran@gmail.com> 1603851693 +0100

Avoid redundant computations.