|
From: Julian S. <se...@so...> - 2020-04-30 08:33:05
|
The branch 'VALGRIND_3_16_BRANCH' was created pointing to: 55cdb7c4ee... Update NEWS. |
|
From: Paul F. <pj...@wa...> - 2020-05-01 16:12:58
|
Looks good One little request - could someone please remove exp-sgcheck from .gitignore? A+ Paul |
|
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 |