|
From: | Andy Wingo |
Subject: | [Guile-commits] GNU Guile branch, wingo, deleted. a5fc657043e1af9b2e79799059069f8172afb66c |
Date: | Mon, 27 May 2013 06:21:30 +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, wingo has been deleted was a5fc657043e1af9b2e79799059069f8172afb66c ----------------------------------------------------------------------- a5fc657043e1af9b2e79799059069f8172afb66c bugfix: don't dynamic link if we found a registered extension ----------------------------------------------------------------------- hooks/post-receive -- GNU Guile
[Prev in Thread] | Current Thread | [Next in Thread] |