Unnecessary, just fixes weird git sync errors