Your message dated Sun, 14 May 2023 14:57:51 +0000
with message-id <4394d6c0-da1e-06eb-b07f-adbaff803c09@posteo.net>
and subject line [PATCH 0/1] gnu: Add onednn.
has caused the debbugs.gnu.org bug report #48423,
regarding [PATCH 0/1] gnu: Add onednn.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
48423: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=48423
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems