On Jan 14, 2008 5:13 PM, Andreas Rau <rau_a at web.de> wrote: > -1 concerning the merge -1 concerning the merge here too, though we should probably have something more formal at some point.