ChangeLog entry for fix of bug #4086