Patrick Wildt Wed, 18 Mar 2015 02:12:23 -0700
the bitrig patrick_visibility branch has been deleted by patrick.
