Re: mirror, once more..

[Peter Valchev]

This is committed now. Since Bob is one of the biggest users of
mirror here, it's been well tested :)