diff options
| -rw-r--r-- | issues/BXD102xBXD077F1-error.gmi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/issues/BXD102xBXD077F1-error.gmi b/issues/BXD102xBXD077F1-error.gmi index 896270a..ce3675d 100644 --- a/issues/BXD102xBXD077F1-error.gmi +++ b/issues/BXD102xBXD077F1-error.gmi @@ -6,7 +6,7 @@ * type: bug * priority: critical * status: unclear -* keywords: correlations, from github +* keywords: correlations, from github, closed ## Description @@ -31,3 +31,5 @@ I (fredm) tried this out, and it seems there is still an issue here. + +This appears to no longer be an issue; it was probably addressed along with the other correlation issues a while back. |