Nov. 25, 2013
3:54 p.m.
On Mon, Nov 18, 2013 at 7:00 AM, <seaside@rmod.lille.inria.fr> wrote:
Hi! We're sending this automatic email twice a month, to give the community an opportunity to easily know what's happening and to coordinate efforts. Just answer informally, and feel free to spawn discussions thereafter!
### Here's what I've been up to since the last WhatsUp:
- Reported and fixed several small issues (Marcus' "triviality a day") -- a couple of issues in Ring -- clean-up on .changes and .sources files and logging Cheers, MartÃn