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