Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Write the update file even if `CLOBBER` is unset. #920
That was lazy of me, just tested with
Though I saw somewhere that
Still, this PR works the same;