Tanggal 22 Oktober ditetapkan sebagai Hari Santri Nasional. Polemik mengiringi usulan itu hingga akhirnya disetujui…