Dear Colleagues, Do we want to have a tagger group meeting on 1st of May? Is that day a public holiday in the USA? Cheers Yang