page 382, entry [233]Open original source
خليل الرومي خليل بن جند الرومي نزيل دمشق كان علامة من الأفاضل المدققين مخشوشناً متقشفاً زاهداً ورعاً وعليه تدريس ووظائف توفي بدمشق في يوم السبت ثامن شوال سنة اثنين وثلاثين ومائة وألف ودفن في تربة مرج الدحداح رحمه الله تعالى.