Thank you Michael! Please see a minor comment inline: On Mon, Dec 11, 2017 at 10:21 AM, Michael Brohl <[email protected]> wrote: > > I will check my latest commits and change this back where it is reasonable > (i.e. where we have concatenations). >
Actually this is not only relevant for concatenations, but also when a plain string constant is defined (i.e. "some string here"). Jacopo
