diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-07-30 10:03:19 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-07-30 10:03:19 +0200 |
commit | ad258bf2c01afbb9c5a320977d9369a469cc3766 (patch) | |
tree | 22e8016d97b6e5e794b8dc5fcdb1c1f459cdd058 /debian/man | |
parent | 3b322e5c5251ee3513b70b06e2a542faa7ca8058 (diff) | |
parent | 14a261ceb80d66ad80bde6b7628028d6ae0a5cf1 (diff) |
Merge tag 'debian/3.1.2-14' into develop
Bugfix release
Diffstat (limited to 'debian/man')
0 files changed, 0 insertions, 0 deletions