Skip to content
GitLab
Explore
Sign in
Remove HI build flag
Since the two releases to which this flag pertains are HI anyway we can safely remove it.