Robert Hensing c4a5efa965
Merge pull request #155522 from Julow/single_line_str
types.singleLineStr: strings that don't contain '\n'
2022-01-21 17:39:13 +01:00
..
2022-01-11 13:09:15 +01:00
2022-01-17 10:24:38 +11:00
2022-01-15 19:33:06 +01:00
2021-11-19 10:17:26 +01:00
2021-12-16 23:55:15 +00:00