Your message dated Wed, 9 Aug 2017 14:04:01 +0300
with message-id <69f58ff1-f88c-dada-b1b4-1b7cbbff9ffb@gmail.com>
and subject line Re: [PATCH] gnu: Add ois.
has caused the debbugs.gnu.org bug report #27971,
regarding [PATCH] gnu: Add ois.
to be marked as done.

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


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