Josh Berkus wrote:
> We will create a separate list for discussion...
> The new list for arguing about a name change is:
> change_the_name@postgresql.org.
If you want people to join it, should you add it to the
web site here?
http://www.postgresql.org/community/lists/
Otherwise it seems unlikely people will find it.