7.2.12-1.bionic protected

Andrea Valassi

@valassi

fa02ef8c · Updated README for release 7.2.12-1.bionic · Dec 05, 2019

Release: 7.2.12-1.bionic

7.2.12-1.bionic released on Thu Dec  5 10:52:59 CET 2019 from branch ubuntu1804