https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=206923

Allan Jude <allanj...@freebsd.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |allanj...@freebsd.org

--- Comment #2 from Allan Jude <allanj...@freebsd.org> ---
This is a known 'false positive' in Witness. We do not currently have a good
way to supress this message even when it is a known false positive.

-- 
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
freebsd-bugs@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "freebsd-bugs-unsubscr...@freebsd.org"

Reply via email to