Hello, On Mon, Feb 04, 2019 at 11:27:05PM +0100, Leo Famulari wrote: > The package in question, mozjs 24, is no longer used by gnome-shell, or > by any other Guix package. > > So, if it still fails to build, we can consider removing it.
the package builds, but I see no need to keep it. Do you agree to remove it together with mozjs@17? The latter would require a little work, since all other mozjs packages inherit from it. If there is consensus, I can look into it. Andreas
