debian/0.9.12-3

Ole Streicher

@olebole

8f92da41 · re-adding the correct patch :-) · Jul 31, 2020

siril Debian release 0.9.12-3