tree 6f226fe25c85cd37a4efda81b7059a1e369b7457
parent 2cd9eafef6a91cd383b39c7c82f5a1b0062430e0
author Guillaume Nodet <gnodet@gmail.com> 1684179799 +0200
committer Guillaume Nodet <gnodet@gmail.com> 1684321023 +0200

Fix version display (fixes #838)