debian/0.9.9-12

Ole Streicher

@olebole

2e7b278f · Lower urgency to low for upload that does not fix an RC bug · Nov 14, 2019

gnudatalanguage Debian release 0.9.9-12