History 15.0:update_1574177811.packages.xz

Update 000update-repos to rev 712
Bernhard M. Wiedemann • 4 years ago