Not yet, the official holiday is the first Monday of May, rather than the first day of the month. But there's still plenty of traditionalists around who make a point of marking May Morning proper (often at dawn, which comes waaay too early at this time of year).
no subject
Date: 2019-05-04 08:17 pm (UTC)