tree 4001200e226c5890999b5f26a386a98130fc22be
parent a9bf8ca444b50e7244ae97c3a1a4609866a4ea42
author Luigi Rosso <luigi.rosso@gmail.com> 1655420442 -0700
committer Luigi Rosso <luigi-rosso@users.noreply.github.com> 1655420855 -0700

Corect version of min.