Gildas 6d00e15c08 add `Infobar > keep infobar open` option (fix #1516, see #1504) vor 1 Jahr
..
messages.json 6d00e15c08 add `Infobar > keep infobar open` option (fix #1516, see #1504) vor 1 Jahr