Changes between Initial Version and Version 2 of Ticket #11113

Timestamp:

May 1, 2013, 7:06:24 PM (11 years ago)

Author:

Christian Boos

Comment:

Or you had that page still present in another tab or another browser, yes.

The internal error is not so nice, we could at least raise a TracError for this, as this is quite easy to trigger.

Done so in r11795.