GUI: bugfix for debian 7 libwebkitgtk
Merge branch 'external' of github.com:WachterJud/qaul.net into external