Closed karawitan closed 4 years ago
Sorry I messed up the Makefile ... Changes belonged to a private branch, but for an unknown reason, appered in master.. reverting changes.
I think we should turn off writes to master branch in the future to prevent such mistakes.
Please ignore .. PR pushed to wrong project
Sorry I messed up the Makefile ... Changes belonged to a private branch, but for an unknown reason, appered in master.. reverting changes.
I think we should turn off writes to master branch in the future to prevent such mistakes.