[20:52:31] <font color="#600060">Dominus:</font> that's a lot of action while I was away for a week! Thank you Marzo<BR>
[20:53:13] <font color="#600060">Dominus:</font> meanwhile I looked at silencing autoconf a bit and only need to test whether my changes work with the previous autoconf version...<BR>
[20:53:58] <font color="#600060">Dominus:</font> because the autoconf guys make stuff obsolete from one version to another without having the new "correct" way work in the version before...<BR>
[22:07:56] <font color="#005000">Marzo:</font> One more reason to switch to cmake<BR>