שולחן ערוך

  • אורח חיים - סימן תקנט
    מנהגי תשעה באב, ודין מילה בתשעה באב
סעיף ט :
תשעה באב שחל להיות בשבת ונדחה ליום ראשון, בעל ברית מתפלל מנחה בעוד היום גדול, ורוחץ, ואינו משלים תעניתו, לפי שיום טוב שלו הוא.