Ramazan El Buti ve Şeyh Ahmet Yasin’i şehit edenler arasında fark var mı?