---
Bug-Database: https://gitlab.com/warsaw/public/-/issues
Bug-Submit: https://gitlab.com/warsaw/public/-/issues/new
Repository: https://gitlab.com/warsaw/public.git
Repository-Browse: https://gitlab.com/warsaw/public
