|
From: Mark W. <ma...@kl...> - 2020-09-25 19:52:29
|
Hi, On Thu, Sep 24, 2020 at 01:13:55PM -0700, Carl Love wrote: > Yup, I know about the test_isa_3_1*.vgtest issues. We will get that > fixed. Thanks > On Thu, 2020-09-24 at 22:05 +0200, Paul FLOYD wrote: > > rdseed is also missing from .gitignore. I just added that. Cheers, Mark |