|
| From: | git version control |
| Subject: | [Commit-gnuradio] git://gnuradio.org/jcorgan branch, gr-uhd-set-user-register, deleted. v3.4.1-1056-g62c6323 |
| Date: | Fri, 16 Mar 2012 21:42:29 +0000 (UTC) |
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 "git://gnuradio.org/jcorgan".
The branch, gr-uhd-set-user-register has been deleted
was 62c6323bdb06d7d3f103d3a75265d45ae6ce00b4
-----------------------------------------------------------------------
62c6323bdb06d7d3f103d3a75265d45ae6ce00b4 Merge remote branch 'gnuradio/maint'
into gr-uhd-set-user-register
-----------------------------------------------------------------------
hooks/post-receive
--
git://gnuradio.org/jcorgan
| [Prev in Thread] | Current Thread | [Next in Thread] |