Your message dated Wed, 8 Jul 2020 16:43:41 +0300
with message-id <20200708134341.GB2355@E5400>
and subject line Re: [bug#42263] [PATCH] gnu: r-rcpp: Update to 1.0.5.
has caused the debbugs.gnu.org bug report #42263,
regarding [PATCH] gnu: r-rcpp: Update to 1.0.5.
to be marked as done.

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


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