suggestions inspired by Debian packaging#4
Open
asarhaddon wants to merge 2 commits intoAdaCore:masterfrom
Open
suggestions inspired by Debian packaging#4asarhaddon wants to merge 2 commits intoAdaCore:masterfrom
asarhaddon wants to merge 2 commits intoAdaCore:masterfrom