Re: [DISCUSS] Move PR discussions to another list...

[Jiri Danek]

Given that the message volume of non-PR messages on the dev@ list is not
that high, wouldn't it make some sense to
discuss anything which is not low-level code-oriented stuff on the users@
list, and keep using dev@ for archiving the low-level code-focused PR
discussions?
-- 
Jiri Daněk