Update notes for submitted changes

* Trebuchet: fix broken compilation due to commit 42994