Thanks so much for releasing the 0.12.5 package set!
It is really great we finally have a release with gtk3 and webkitgtk3 support. :-)

Jens