---
Bug-Database: https://gitlab.com/groups/latex-rubber/-/issues
Bug-Submit: https://gitlab.com/latex-rubber/rubber/-/issues/new
Repository: https://gitlab.com/latex-rubber/rubber.git
Repository-Browse: https://gitlab.com/latex-rubber/rubber

