|
| From: | Martin Braun |
| Subject: | [Patch-gnuradio] Make Jenkins happy, fix some wavfile stuff |
| Date: | Wed, 20 Jun 2012 15:32:15 +0200 |
Hi, this patch is not a big deal but fixes a very minor bug in gri_wavfile.cc and also makes a FIXME obsolete.
| [Prev in Thread] | Current Thread | [Next in Thread] |