From ea69bfe693e1edebc9f8099a9c465a6a4b8844d6 Mon Sep 17 00:00:00 2001 From: David Goulet Date: Wed, 11 Oct 2023 15:01:34 -0400 Subject: [PATCH] changes: Add changes file for MR 760 Signed-off-by: David Goulet --- changes/mr760 | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 changes/mr760 diff --git a/changes/mr760 b/changes/mr760 new file mode 100644 index 0000000000..845e1031f7 --- /dev/null +++ b/changes/mr760 @@ -0,0 +1,4 @@ + o Minor feature (metrics port): + - New metrics on the MetricsPort for the number of BUG() that occurred at + runtime. Closes MR 760. +