bitrig branch natano_min deleted

[Martin Natano]

the bitrig natano_min branch has been deleted by natano.