Update brink.
Update pavement.
Update brink.
Update brink.
[#1137] Sync Trac ticket with GitHub pull request state.