diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2020-06-01 17:22:48 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2020-06-01 17:22:48 +0200 |
| commit | 8ef660cf7c92b3407bf2fbfb0f063b90fbe991cf (patch) | |
| tree | c3784846c919477e71e542ce6e049100f29fd719 /src/gui | |
| parent | 2e5cbf11ebc847504fb0a94c049eda2fc1c6abbf (diff) | |
| parent | 6617f5ee51c94d05028ebceb3177ec0e3a87e78d (diff) | |
Merge tag 'debian/0.7.2-2' into develop
bugfix release
Diffstat (limited to 'src/gui')
0 files changed, 0 insertions, 0 deletions