Martin Natano Wed, 13 May 2015 11:05:21 -0700
the bitrig natano_rmdecl branch has been deleted by natano.
