| Sun, 04 Feb 2018 21:18:15 +0000 | Jan Vrany | Report gdb's exist status in `GDBExitEvent` in case `gdb` terminates prematurely | file | diff | annotate |
| Mon, 29 Jan 2018 10:21:03 +0000 | Jan Vrany | Variable objects: delete var. objects that are no longer needed | file | diff | annotate |