Marco Peereboom Tue, 10 May 2016 14:27:24 -0700
the bitrig marco_colorls branch has been deleted by marco.
