On 2018-04-23, Mark Thomas wrote: > On 23/04/18 18:00, [email protected] wrote:
>> fix filename > The original name was correct. Looks like I fat-fingered the on-disk > name. I see. I just spotted the mismatch while cleaning up the mess I created around zstd-jni. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
