tree 2b97c31e35351e669e4e1f7f9953c9b9ca96ad11
parent b3b23b3c5e2e1587fec182e610bf83560467f2a1
author Andre Weinand <aweinand> 1023361015 +0000
committer Andre Weinand <aweinand> 1023361015 +0000

four F3 fixes: #13949, #19013, #19216, #19371