Hi, > OK, I think I got it working and pushed the changes. If it doesn't blow > up stuff, then we'll find a place to document it. > > Next up is, if the CI builds pass, cut a release branch.
Have the issues around missing headers and patch files as per the recent discussion on legal discuss been resolved? Looks to me like that’s still outstanding. Thanks, Justin
