Hi, > The source package remove some files. For example: LICENSE.bin, > LICENSE.rest. I'm not sure that it's ok for us.
Yes, that is fine, and our previous releases have done this. The release script removes those files as they could cause confusion about the licenses of the source package. The git commit is 2fd4e39. Kind Regards, Justin
