<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Hi Dirk,<br>
</p>
<br>
<div class="moz-cite-prefix">Am 11.03.2017 um 14:47 schrieb Stefan
Fuchs:<br>
</div>
<blockquote cite="mid:aa30ef2f-3ebb-158c-e41d-f7a92c9354a5@gmx.de"
type="cite">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<br>
Pull request submitted.<br>
<br>
One important hint: Can happen that there will be a conflict with
an still open pull request from Robert. Dirk, if you can't merge
it after merging Roberts changes, please tell me! I will then
rebase it again and take care about the conflicts.
</blockquote>
I saw that you were able to merge everything but as expected the
build fails now. I have to change a few things to depth_t because
Robert changed variables to depth_t at the same moment. I can do
this in a few hours. It shouldn't be a big deal. Sorry for the
inconvenience.<br>
<br>
Best regards<br>
Stefan<br>
<br>
<div class="moz-signature">-- <br>
<meta http-equiv="CONTENT-TYPE" content="text/html; charset=utf-8">
<title></title>
<meta name="GENERATOR" content="OpenOffice.org 3.3 (Win32)">
<meta name="CREATED" content="0;0">
<meta name="CHANGEDBY" content="Stefan Fuchs">
<meta name="CHANGED" content="20120503;23115492">
<style type="text/css">
<!--
P { color: #000000 }
-->
</style>
<p>Stefan Fuchs<br>
E-Mail: <a href="mailto:sfuchs@gmx.de">sfuchs@gmx.de</a></p>
</div>
</body>
</html>