5 Jul
2019
5 Jul
'19
11:19 a.m.
Yes, I noticed. Martin & I are planning to work on it in ~4 hours.
your recent commit "Work on #1867“ ... broke the build with the error message "error: duplicate attribute „type““. I see that this is a combined issue of Guidelines #1867 and Stylesheets #370 where probably the Stylesheets need to be fixed first. So, since we are in refridge period I think it’d be better to revert that change and/or move this work into a separate branch.