Your message dated Fri, 4 Jan 2019 10:27:25 +0100
with message-id <7309311a-c4c5-a9f4-5dd7-047c32658c99@crazy-compilers.com>
and subject line Re: bug#33812: Acknowledgement ([PATCH 1/2] gnu: extra-cmake-modules: Fix install-path for plugins.)
has caused the debbugs.gnu.org bug report #33812,
regarding [PATCH 1/2] gnu: extra-cmake-modules: Fix install-path for plugins.
to be marked as done.

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


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