[debbugs-tracker] bug#25034: closed (red-eclipse: "data" directory in "$out/", not in "$out/share")

[GNU bug Tracking System]

Your message dated Fri, 9 Feb 2018 22:49:34 +0100
with message-id <address@hidden>
and subject line Re: red-eclipse: "data" directory in "$out/", not in 
"$out/share"
has caused the debbugs.gnu.org bug report #25034,
regarding red-eclipse: "data" directory in "$out/", not in "$out/share"
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
25034: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25034
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> red-eclipse: "data" directory in "$out/", not in "$out/share"
>
>
>
>
> Date: 
>
> Sat, 26 Nov 2016 08:13:06 -0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
>
>
>
>
> Simple to check, simply list the contents of Red Eclipse's store
> entry. The "data" directory is at the root.
>
> Shouldn't it be "$out/share/red-eclipse/data"? Or
> "$out/share/red-eclipse"?
>
>
> Respectfully, Adonay.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: red-eclipse: "data" directory in "$out/", not in "$out/share"
>
>
>
>
> Date: 
>
> Fri, 9 Feb 2018 22:49:34 +0100
>
>
>
>
> User-agent: 
>
> Mutt/1.9.3 (2018-01-21)
>
>
>
>
> This is solved by the patch sent to bug #28164, closing this bug.
>
> Andreas
>
>
>
> --- End Message ---