[EMAIL PROTECTED] (Karl Berry) writes: > Simon, Eric -- if you would like to be dubbed official maintainers of > gnulib, let me know and I will ask rms to do so. I trust none of the > present maintainers object (I surely don't). I also don't see that it > makes a practical difference in this case, but whatever you want is fine.
I don't care strongly, so do what you think is easiest/best. /Simon
