changelog entry for #4087