On 13 December 2010 19:58, Edson Tirelli <span dir="ltr">&lt;<a href="mailto:ed.tirelli@gmail.com">ed.tirelli@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
   Hi Wolfgang,<br>
<br>
   Mark said you would like us to take a look at some of your commits?<br>
Can you let me know which ones?<br>
<br></blockquote><div><br>Hi Edson,<br><br>I have reached a state where I think changes might be committed - see the attached README. I&#39;ll just go through the code and add some comments and make sure no &quot;noise&quot; remains. Then I&#39;ll send you the zipped tarball of all changes. If there are no objections, I&#39;ll also commit, but I need to do this before the git change incapacitates me. (I just don&#39;t have the time right now for making this conversion, and I won&#39;t have it until E12/2010. Worst time of the year for doing a change like that!)<br>
<br>@developers: Anybody interested in this set of changes can ask me for the sources.<br><br>Best<br>Wolfgang <br><br><br></div></div><br>