Martin Pool has voted approve. Status is now: Approved Comment: Thanks Michael! I'll merge it. For details, see: http://bundlebuggy.aaronbentley.com/project/bzr/request/%3C18679.7883.863444.776460%40swsmde.ds.mpi-sws.mpg.de%3E Project: Bazaar