|
From: Mark W. <ma...@kl...> - 2020-05-02 15:31:41
|
On Fri, May 01, 2020 at 06:12:46PM +0200, Paul FLOYD wrote: > One little request - could someone please remove exp-sgcheck from .gitignore? Well spotted. I pushed a commit to master and VALGRIND_3_16_BRANCH to remove those and one to mention the removal in the NEWS file. Thanks, Mark |