7.2.11-1.bionic protected

Andrea Valassi

@valassi

0e2b5336 · Updated README for release 7.2.11-1.bionic · Aug 06, 2019

Release: 7.2.11-1.bionic

7.2.11-1.bionic released on Tue Aug  6 15:47:10 CEST 2019 from branch ubuntu1804