Setiap tanggal 1 Mei, dunia memperingati Hari Buruh Internasional. Namun, 1 Mei bukan sekadar tanggal merah di kalender. Ia adalah …