Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result

gitlab-deps

  • Clone with SSH
  • Clone with HTTPS
    • Silver Platter's avatar
    Change priority extra to priority optional.
    silver-platter authored 
    Changes-By: lintian-brush
Fixes: lintian: priority-extra-is-replaced-by-priority-optional
See-also: https://lintian.debian.org/tags/priority-extra-is-replaced-by-priority-optional.html
    8ec11896
    History
    Silver Platter's avatar 8ec11896
    History
    Name Last commit Last update