[Guile-commits] GNU Guile branch, wip-coverage, deleted. release_1-9-10-6-g446b2da

[Ludovic Courtès]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Guile".

http://git.savannah.gnu.org/cgit/guile.git/commit/?id=0000000000000000000000000000000000000000

The branch, wip-coverage has been deleted
       was  446b2dac33c0772593769edb7de799c64e5e7b6a

-----------------------------------------------------------------------
446b2dac33c0772593769edb7de799c64e5e7b6a Add (system vm coverage).
-----------------------------------------------------------------------


hooks/post-receive
-- 
GNU Guile