[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] branch maint deleted (was d06e8ce)
|
From: |
git |
|
Subject: |
[Commit-gnuradio] [gnuradio] branch maint deleted (was d06e8ce) |
|
Date: |
Thu, 24 Dec 2015 04:00:14 +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 d06e8ce Update version for release 3.7.8.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 d06e8ce),
git <=