Sebanyak 4.216 personel gabungan dari TNI, Polri, maupun Satpol PP telah diterjunkan untuk mengamankan aksi unjuk rasa dalam rangka memperingati Hari Buruh Internasional atau May Day di Jakarta tersebut. Ribuan personel gabungan bakal disebar di empat titik konsentrasi massa.
(SAN)