Re: pygnulib: code separation

[Karl Berry]

    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