v0.0-2950-g1bb4ef62: Merge pull request #1737 from hzeller/20230222-zlib-is-project-header
github-actions
released this
23 Feb 17:58
·
944 commits
to master
since this release
Given that zlib.h is imported in WORKSPACE, it is a project header.