On Mon, Oct 13, 2014 at 11:14:59PM +0100, Dimitri John Ledkov wrote:
On 13 October 2014 22:51, Enrico Zini enr...@enricozini.org wrote:
On Mon, Oct 13, 2014 at 08:46:48PM +0200, Yves-Alexis Perez wrote:
On lun., 2014-10-13 at 19:30 +0100, Jonathan Dowland wrote:
Unless I'm mistaken, a
Neil McGovern dijo [Tue, Oct 14, 2014 at 05:08:49PM +0100]:
Good point. We can have a GR to decide where we announce GRs that decide
where GRs are announced.
I'd like to propose a GR to decide that.
Option A. Main project discussion mailing list.
Option B. Further discussion.
2 matches
Mail list logo
