Skip to content

maui/*: upgrade to latest git versions

Bart Ribbers requested to merge PureTryOut/pmaports:maui into master

I did not upgrade Pix, as it fails to find syntax-highlighting while it is installed. The changes from the version we ship do not seem important (just translation updates really), so I left it out for now.

Merge request reports