ander 1d57305d35 Use gpg key, fallback to deprecated apt-key ... Fixes #762		2019-05-25 15:58:39 +02:00
..
default	Use gpg key, fallback to deprecated apt-key	2019-05-25 15:58:39 +02:00
optional	Use gpg key, fallback to deprecated apt-key	2019-05-25 15:58:39 +02:00