Skip to content
Snippets Groups Projects
Joachim Wuttke's avatar
Merge pull request #1125 from jwuttke/corr
Wuttke, Joachim authored
small correction: rm debmsgs
147af323
History
Name Last commit Last update