Signed-off-by: Jérôme Benoit <jerome.benoit@sap.com>
108F52B48DB57BB0CC439B2997B01419BD92F80A \
DD792F5973C6DE52C432CBDAC77ABFA00DDBF2B7 \
A6023530FC53461FEC91F99C04CD3F2FDE079578 \
108F52B48DB57BB0CC439B2997B01419BD92F80A \
DD792F5973C6DE52C432CBDAC77ABFA00DDBF2B7 \
A6023530FC53461FEC91F99C04CD3F2FDE079578 \
+ CC68F5A3106FF448322E48ED27F5E38D5B0A215F \
; do \
gpg --batch --keyserver hkps://keys.openpgp.org --recv-keys "$key" || \
gpg --batch --keyserver hkps://keyserver.ubuntu.com --recv-keys "$key" ; \
; do \
gpg --batch --keyserver hkps://keys.openpgp.org --recv-keys "$key" || \
gpg --batch --keyserver hkps://keyserver.ubuntu.com --recv-keys "$key" ; \