> On 15 Jun 2019, at 15:21, sebb wrote:
>
> On Sat, 15 Jun 2019 at 15:14, Gary Gregory wrote:
>>
>> The current master build yields:
>>
>> [ERROR] CSVFormatTest.testHashCodeAndWithIgnoreHeaderCase:523
>> [ERROR] CSVFormatTest.testWithHeaderComments:972
>>
>> I do not think it is OK to p
On Sat, 15 Jun 2019 at 15:14, Gary Gregory wrote:
>
> The current master build yields:
>
> [ERROR] CSVFormatTest.testHashCodeAndWithIgnoreHeaderCase:523
> [ERROR] CSVFormatTest.testWithHeaderComments:972
>
> I do not think it is OK to push fixes that break the build.
Already fixed.
> Gary
-