[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] branch maint deleted (was f0ef129)
From: |
git |
Subject: |
[Commit-gnuradio] [gnuradio] branch maint deleted (was f0ef129) |
Date: |
Sat, 30 Aug 2014 16:56:23 +0000 (UTC) |
This is an automated email from the git hooks/post-receive script.
jcorgan pushed a change to branch maint
in repository gnuradio.
was f0ef129 Updated to revision 3.7.4.1 for release.
The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Commit-gnuradio] [gnuradio] branch maint deleted (was f0ef129),
git <=