| commit | 8dfc265bd900a1264b7a8c3fe05e12f8e3f45a1b | [log] [tgz] |
|---|---|---|
| author | Guillaume Nodet <gnodet@gmail.com> | Mon May 15 21:43:19 2023 +0200 |
| committer | Guillaume Nodet <gnodet@gmail.com> | Wed May 17 12:57:03 2023 +0200 |
| tree | 6f226fe25c85cd37a4efda81b7059a1e369b7457 | |
| parent | 2cd9eafef6a91cd383b39c7c82f5a1b0062430e0 [diff] |
Fix version display (fixes #838)