|
| 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".
http://git.savannah.gnu.org/cgit/guile.git/commit/?id=0000000000000000000000000000000000000000
The branch, wip-rtl-metadata has been deleted
was 3e28111698d13a28eb9d6980aafa28fc1dc8de40
-----------------------------------------------------------------------
3e28111698d13a28eb9d6980aafa28fc1dc8de40 procedure-properties for RTL functions
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Guile
| [Prev in Thread] | Current Thread | [Next in Thread] |