Merge pull request #230527 from markuskowa/upd-texmaker
texmaker: 5.1.3 -> 5.1.4
authored by Jonas Heinrich and committed by GitHub 2 years ago bb34b50c 6d69f3e3