coq-community/topology

Recent warning fixes

Columbus240 opened this issue · 2 comments

Hi @stop-cran, long time no see.
Thanks for fixing the build warnings in your recent commits. (b46b4cd, 19de219, edbbddc)
A lot of the changes are only changing the line endings and back again, which clutters git blame.
Do you mind if I squash these three commits into a single one and force-push it to master?
This would keep the repo tidier.

Hi, yep, sorry, let's squash them.

No worries. Thanks for the quick response.