[Top][All Lists]

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

[Guile-commits] GNU Guile branch, wip-rtl-metadata, deleted. v2.1.0-31-g

From: Andy Wingo
Subject: [Guile-commits] GNU Guile branch, wip-rtl-metadata, deleted. v2.1.0-31-g3e28111
Date: Sun, 09 Jun 2013 22:01:13 +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-rtl-metadata has been deleted
       was  3e28111698d13a28eb9d6980aafa28fc1dc8de40

3e28111698d13a28eb9d6980aafa28fc1dc8de40 procedure-properties for RTL functions

GNU Guile

reply via email to

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