michael135's picture
Update header_patch.py
6043a56