![]() related to PR 12937
This doesn't seem to fix the PR since the debugger is currently ignoring
the TR programs (not annotating them) but at least it does not crash now
Please merge to 5.3
(cherry picked from commit
|
||
---|---|---|
.. | ||
icons | ||
annotator.rkt | ||
debug-tool.rkt | ||
info.rkt | ||
load-sandbox.rkt | ||
marks.rkt | ||
TODO.txt |