1. 2018-10-25 Re: [PATCH 01/11] gitignore: remove *.html from gitig freedeskt Rodrigo Vivi 2. 2018-10-25 [PATCH 01/11] gitignore: remove *.html from gitignore freedeskt Jani Nikula