Closed slackner closed 5 years ago
Thanks a lot, small nitpick added as comment.
Good catch, I wasn't aware that a double space at the end of the line has a special meaning. I have updated my branch.
Merged, thanks! I will recompile the web page next week.
Page updated
Detected with the 'codespell' utility.