Update notes for submitted changes

* repo.pp: Support havana