On Fri, 7 Dec 2018, Iain Buclaw wrote: > After pushing, it was noticed that there was a small misspelling that > went unnoticed. I've committed the correction as I don't think > there'll be any objection to the change.
Indeed. Obvious changes and ones within your domain (so release notes for D,...) are good to go any time - and in fact appreciated. :-) Gerald
