Merge pull request #140338 from helsinki-systems/upd/texstudio
texstudio: 3.1.2 -> 4.0.0
authored by ajs124 and committed by GitHub 4 years ago 63c76837 3a49706a