Hello,<div><br></div><div>when you make pull next time you are likely to get an error. To work it around</div><div><br></div><div>cd source/webkitgtk</div><div>git checkout -f</div><div><br></div><div>And then try again. I need to figure out how to handle this properly but this should get you unstuck for now.<span></span></div>
<br><br>-- <br>Daniel Narvaez<br><br>