האם יש חיוב שמחה באדר א', מי שיש לו דין עם גוי. תענית ז' באדר