Digest up to date (#253, #254, #255, #256, #257, #258, #259, #260 out)!

[Marta Rybczynska]

Hello all,
Thanks to great work of Aleix, Jürgen, Martin and  Bernard, Commit-Digest is up to date: all the issues of October and the one of 4th November have just been published.

Thanks!
Marta