diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2023-06-28 08:53:09 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2023-06-28 08:53:09 +0200 |
| commit | e013d84d9646506828fce16fc44a06e02f091ad2 (patch) | |
| tree | 2d62c95d1b0f416cde43e61bd0bfb3378280fd05 | |
| parent | 0f3e27c3bbef6b806acefa17971b799a4719e1e1 (diff) | |
Remove stray comment
| -rw-r--r-- | bbot/agent/agent.cxx | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bbot/agent/agent.cxx b/bbot/agent/agent.cxx index 9f70aec..062fd68 100644 --- a/bbot/agent/agent.cxx +++ b/bbot/agent/agent.cxx @@ -984,8 +984,6 @@ try if (!ml.locked ()) { - // @@ TMP: restore l4 tracing. - machine_manifest mm; if (ml.prio) { |