Subject: Re: bug#33812: Acknowledgement ([PATCH 1/2] gnu: extra-cmake-modules: Fix install-path for plugins.)
From: Hartmut Goebel <[email-masked]>
To: [email-masked]
Date: Fri, 4 Jan 2019 10:27:25 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Applied as b824dbec5d331e79a50734fb543bbe064eb7fc17

with trivial changes to the second patch.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | [email-masked]               |
| www.crazy-compilers.com | compilers which you thought are impossible |