Update notes for submitted changes

* upgrade jenkins build-timeout plugin due to a performance bug