[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ludovic Courtès
Subject: [Guile-commits] GNU Guile branch, wip-coverage, deleted. release_1-9-10-92-g16e275d
Date: Fri, 07 May 2010 12:07:39 +0000

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".

The branch, wip-coverage has been deleted
       was  16e275d22777ebb2b82a504953390318d95a185c

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

GNU Guile

reply via email to

[Prev in Thread] Current Thread [Next in Thread]