
26 May
2012
26 May
'12
5:28 a.m.
On Fri, May 25, 2012 at 5:59 PM, Andres Löh
On Fri, May 25, 2012 at 6:56 PM, Johan Tibell
wrote: On Fri, May 25, 2012 at 9:49 AM, Bryan O'Sullivan
wrote: Ugh. I'll see if I can find time to write a script to fix up the cross references.
Is the problem due to there already being some issue reports in the repo and thus all the Trac tickets got offset by some number?
My speculation would be that some Trac tickets don't exist because they have been deleted, and then these don't get converted, and this introduces an offset.
Yeah, I think this is more likely, since it seems like not all of the cross-references are off by the same amount. github issue #719 is trac #729, but github issue #410 is trac #417.