Hari santri nasional

Awalnya Hari Santri ingin ditetapkan pada tanggal 1 Muharram. Namun, pada perkembangannya, PBNU mengusulkan agar 22 Oktober yang ditetapkan sebagai Hari Santri, bukan 1 Muharram.