[Guile-commits] GNU Guile branch, wip-coverage, deleted. release_1-9-10-92-g16e275d

[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  16e275d22777ebb2b82a504953390318d95a185c

-----------------------------------------------------------------------
16e275d22777ebb2b82a504953390318d95a185c turn (system vm coverage) into a 
generic API with tests
-----------------------------------------------------------------------


hooks/post-receive
-- 
GNU Guile