- Create a new topic. Log out and log in as a different user.
- Edit the topic title which was created in #1.
- The user in #1 will receive a notification that will display the edited topic title twice - as a new one and as an old one.
'View history' displays the event of renaming correctly.