Subject: Re: red-eclipse: "data" directory in "$out/", not in "$out/share"
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Fri, 9 Feb 2018 22:49:34 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This is solved by the patch sent to bug #28164, closing this bug.

Andreas