diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-08-04 11:17:35 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-08-04 11:17:35 +0200 |
commit | 644c6ecf8e0979cade08ae83fe2fe69941e5da40 (patch) | |
tree | 277e7f1d30bd2ebccf90e8d13d6215b28ebacaf4 /configure | |
parent | 6c9e9fa6da3c7b0f128b4d4eabfa6717977d15c5 (diff) | |
parent | 7af748e993f12dd5b62400723332a7c8b53dcd72 (diff) |
Merge tag 'debian/3.1.2-1' into develop
New upstream release
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions