Take core 7.2.0, which is what the free highlighter needs - #669

Take core 7.2.0, which is what the free highlighter needs#669

andiwand merged 1 commit into

mainopendocument-app/OpenDocument.droid:mainfrom

core-7-2opendocument-app/OpenDocument.droid:core-7-2Copy head branch name to clipboard