git: do not patch /dev/null to null:
Newlib now has a workaround for this, and it was resulting in a lot of changes.
parent
01b6d5de
No related branches found
No related tags found
Please register or sign in to comment
Newlib now has a workaround for this, and it was resulting in a lot of changes.