[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-6-g446b2da
Date: Wed, 05 May 2010 22:34:27 +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  446b2dac33c0772593769edb7de799c64e5e7b6a

446b2dac33c0772593769edb7de799c64e5e7b6a Add (system vm coverage).

GNU Guile

reply via email to

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