On 15. Jan 2019, at 14:57, Peter Klügl <[email protected]> wrote: > > Hmm yes, but it is empty in the downloadable zips, e.g., source-release > and bin.
Hm... very odd. After the local build is complete, the file has the proper contents... But yes, you are right... in the distribution artifacts, it's simply empty... -- Richard
