Thanks, I merged rt46173_addendum into master without adding a CHANGES
note, as announced before.