Sementara itu perlu diketahui bahwa Hari Santri ditetapkan oleh Presiden Joko Widodo melalui Keppres No 22 tahun 2015. Sejak itu, 22 Oktober diperingati sebagai Hari Santri.
(Abu Sahma Pane)