or we can even leave decision to users: if they want to use
pygnulib, they can get it from pygnulib repo
That sounds to me like a very sensible way to go, at present.
I'm also fine with having pygnulib inside gnulib, if (other) people want
that. I just got worried that all of gnulib was about to transform into
something totally different.
I'm also not a principal developer of gnulib any more, so it would be
nice to get more views from others (Paul, Jim, Eric, ... ?).
Thanks much for your kind reply.
Karl
