>
>
> I see this was already committed. If it is what I think it is (an
> alternative desktop shell), I think it would make more sense to have
> it in a separate file, rather than in gnome-world.
>

That's fine too as long as I can build it from GNOME JHBuild without doing
any extra work.
I will add a second patch to a separate file  ..when I figure out how this
is done :)
_______________________________________________
[email protected]
https://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.

Reply via email to