CI: remove header hacks when checking out submodules (#995)
parent
9ff1a54c8d
commit
e2c784740a
1 changed files with 1 additions and 3 deletions
Loading…
Reference in new issue