Update notes for submitted changes

* repo.pp: Switch default release to Havana