|
From: | git version control |
Subject: | [Commit-gnuradio] git://gnuradio.org/gnuradio branch, maint, deleted. v3.7.0-52-g52cd534 |
Date: | Thu, 29 Aug 2013 17:22:24 +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/gnuradio". The branch, maint has been deleted was 52cd534c804c1ebd14b3c5e5ba60bf7414e4590b ----------------------------------------------------------------------- 52cd534c804c1ebd14b3c5e5ba60bf7414e4590b blocks: set default argument of file_descriptor_source so repeate=false. Bug for not carrying this over from 3.6. ----------------------------------------------------------------------- hooks/post-receive -- git://gnuradio.org/gnuradio
[Prev in Thread] | Current Thread | [Next in Thread] |