tree b5539b5414d9bf9f6cd80c4bb54520e61e7e4747
parent 11b0e96cf42b3918965189b2ca9a0de7b9756fe7
author Gilles Sadowski <gilleseran@gmail.com> 1595353924 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1595353924 +0200

Use "final" (and other nits).