Hello guys,

As agreed in the previous meeting, we will skip IRC meeting this week
and be on 10th Jan next year. I hope you all had a merry Christmans, and happy holidays!

--