Marco Peereboom Wed, 20 Apr 2016 11:03:38 -0700
the bitrig marco_doth_rename branch has been deleted by marco.
