Workers' Day

1. REDIRECT International Workers' Day

{{Redirect shell|

{{R from merge}}

{{R from short name}}

}}