Release 3.30.1, 2018-07-25
--------------------------
* Come back to valac 0.40, more crashes have been discovered when gnome-latex
 is compiled with valac git master (what will become valac 0.42).
* Translation updates.