Just want to note: the crash occurs when using other tools as well; the history bug may be present with other tools too.
I haven't tested trunk yet. I'll do that soon.
Just want to note: the crash occurs when using other tools as well; the history bug may be present with other tools too.
I haven't tested trunk yet. I'll do that soon.