[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] branch maint deleted (was 0ecbe23)
From: |
git |
Subject: |
[Commit-gnuradio] [gnuradio] branch maint deleted (was 0ecbe23) |
Date: |
Mon, 29 Dec 2014 22:22: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 0ecbe23 Update revision for maintenance release 3.7.5.2
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 0ecbe23),
git <=