Hello Patrick,
thanks a lot for implementing this!
I just reviewed the changes and found no objections. So I updated our git
master and luz branches with it.
I'm now in the process of merging some updates on our side and will push them
onto luz in the next hour or so (but leave master at its c
On Sep 8, 2010, at 16:25 , Lukas Zeller wrote:
> I'm now in the process of merging some updates on our side and will push them
> onto luz in the next hour or so (but leave master at its current position for
> now).
Done, and tagged as libsynthesis_3.4.0.16 in our git in the luz branch.
Two not
