On 12/29/18 12:11 PM, Jürgen Spitzmüller wrote: > Am Samstag, den 29.12.2018, 13:35 +0100 schrieb Juergen Spitzmueller: >> commit da273a944f4b720b1da5fd737ededc2f2129e9bc >> Author: Juergen Spitzmueller <[email protected]> >> Date: Sat Dec 29 13:36:39 2018 +0100 >> >> Fix some parsing glitches in Autonest and IsAutonestedBy >> >> Layouts can have spaces, underlines (that must be read as spaces, >> and >> be enquoted) >> >> Candidate for stable > Riki?
OK. Riki
