Jean-Marc Lasgouttes wrote: > Juergen, I can port this to branch if you want (should have > implemented that long ago...). This is very useful when profiling for > example.
Can we keep that for 1.5.5? > If you'd rather keep it for later, at least a big part of the INSTALL > cleanup applies. Yes, please apply this. Jürgen
