tree fa7121a623fa01a41431e5d7f6aec9b147953aa8
parent f8d747661445203eec963b79ba7aa5bf182f037a
author Gilles Sadowski <gilleseran@gmail.com> 1629770982 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1629770982 +0200

Useless local variable.