Skip to content

v0.0-2950-g1bb4ef62: Merge pull request #1737 from hzeller/20230222-zlib-is-project-header

Compare
Choose a tag to compare
@github-actions github-actions released this 23 Feb 17:58
· 944 commits to master since this release
1bb4ef6
Given that zlib.h is imported in WORKSPACE, it is a project header.