Merge pull request #24551 from ndowens/leoeditor
leo-editor: 5.3 -> 5.5
authored by Jörg Thalheim and committed by GitHub 8 years ago dac0e94e 6df9e847