<div dir="ltr">Btw, I think we are currently triggering a webkitgtk build after every pull, even if nothing is really changed (I blame webkitgtk stupidity for that at least partially :P). I will fix that.<br></div>