Merge branch 'develop' into debian/sid

diff --cc .gitignore
index aa9fd7ecb0bc88cbde917ee1decea14744c86175,c6955c93ecdbccc3e7c20e2558f2d9dbdc0e2c3c..b62768db5e70ece3be02839edf22109148608b5d
--- 1/.gitignore
--- 2/.gitignore
+++ b/.gitignore
@@@ -70,4 -70,5 +70,6 @@@ tests/utils_infoba
  tests/utils_message_dialog
  tests/utils_round
  *.csv
- build/
++build/
+ *.gir
 -*.typelib
++*.typelib