[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] branch maint deleted (was a20ff07)
|
From: |
git |
|
Subject: |
[Commit-gnuradio] [gnuradio] branch maint deleted (was a20ff07) |
|
Date: |
Mon, 29 Dec 2014 23:43:35 +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 a20ff07 Updated revision for release 3.7.6
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 a20ff07),
git <=