7179500 Merge branch 'scrub-obsolete' into 'master'

Merged and Committed by Boyuan Yang 3 days ago
    Merge branch 'scrub-obsolete' into 'master'
    
    Remove unnecessary constraints
    
    See merge request debian/alien!4
        
file modified
+7 -0
file modified
+1 -1