Re: [dom41] Marking of key words

> That paragraph seems to duplicate the second paragraph following it, so
> maybe it should just be removed altogether, since the latter already has
> quotes around the key words.

Indeed, glad you read what was in the paragraphs :)

Jens Oliver Meiert

Received on Tuesday, 13 June 2017 17:54:14 UTC