|Subject:||Re: [Discuss-gnuradio] maybe the build-gnuradio needs to update the git clone address?|
|Date:||Fri, 2 Aug 2013 12:23:02 -0500|
On 08/02/2013 09:38 AM, Alex Zhang wrote:
> Is there any problem with the current git clone addressThis should be fixed now; there was some subtle corruption of the git
database that affected checkouts over HTTP.
|[Prev in Thread]||Current Thread||[Next in Thread]|