I forgot to commit the updated release note for 0.80. :-(