PEAR issue #2 (pear-dev) vote

Hi again,
As far as many people begin to "use" PEAR we will not come around having 
separate dev and users lists...

how about creating:
a) pear-users		(equivalent to php-general)
(maybe pear-general, but I prefer pear-users over pear-general, personally)
b) pear-dev

the current php-pear traffic could be rerouted to pear-dev and 
pear-users and should not be subscribeable in the future I think

then, one day, when PEAR has grown up we can add groups like
pear-db and the like...
here a condensed version for voting...

[ ] do not change anything

(X) pear-users and pear-dev
( ) pear-general and pear-dev

[ ] any other idea
     _____________________


andré

-- 
· André Langhorst        t: +49 331 5811560 ·
· [email protected]          m: +49 173 9558736 ·
* PHP Quality Assurance  http://qa.php.net  *