diff options
Diffstat (limited to 'changes/mr760')
| -rw-r--r-- | changes/mr760 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/changes/mr760 b/changes/mr760 deleted file mode 100644 index 845e1031f7..0000000000 --- a/changes/mr760 +++ /dev/null @@ -1,4 +0,0 @@ - o Minor feature (metrics port): - - New metrics on the MetricsPort for the number of BUG() that occurred at - runtime. Closes MR 760. - |