Fix HISTORY hint in RELEASE-NOTES-1.23
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 10 May 2014 13:38:18 +0000 (15:38 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Sat, 10 May 2014 13:38:18 +0000 (15:38 +0200)
commit7b3873838d48609494ba68c7d76fd572ce570a1e
tree0013135c5e0217532c7281e957aa8d95ccf8f949
parentb41f33189a082d2b04ecd60361e3d89fdcd77f72
Fix HISTORY hint in RELEASE-NOTES-1.23

Was not updated the last time when RELEASE-NOTES-1.22 was deleted and
moved to HISTORY.

Change-Id: Iaec2b60091cd813c28bf9d0f35c444446023df1b
RELEASE-NOTES-1.23