tree 5563c4e0729ef5cd86c11f3114231cb0b6ae137c
parent 093c7ecbf514d5f196bcb4afd9a67932e9e28f21
author Gilles Sadowski <gilleseran@gmail.com> 1672972809 +0100
committer Gilles Sadowski <gilleseran@gmail.com> 1672972809 +0100

Simplify.

Thanks to Alex Herbert.