Juergen Spitzmueller wrote:

OTOH we want to allow switching ct on and off without merging changes in
advance (bug 2030), so we shouldn't delete the mark, but rather fix the
crash.
I agree.

Michael

Reply via email to