Diketahui sebanyak 4.216 personel gabungan dari TNI, Polri, maupun Satpol PP dikerahkan untuk mengamankan aksi unjuk rasa dalam rangka memperingati Hari Buruh Internasional atau May Day di Jakarta.
Jajaran kepolisian menerjunkan sebanyak 3.318 personel. Kemudian dari unsur TNI mengerahkan sebanyak 690 anggota. Sedangkan, personel dari Pemprov DKI sejumlah 208 petugas. Ribuan petugas gabungan itu disebar di empat titik.
(Fahmi Firdaus )