[LITMUS^RT] small fixes and improvements

[Glenn Elliott]

These all look good to me.  I did leave one comment about the P-FP BUG_ON() on github.

-Glenn


On Feb 4, 2013, at 9:36 AM, Björn Brandenburg <bbb at mpi-sws.org> wrote:

> Hi Glenn, hi Jonathan, hi everyone,
> 
> I've pushed a small collection and fixes and minor improvements to
> 
> 	prop/misc-fixes (https://github.com/LITMUS-RT/litmus-rt/commits/prop/misc-fixes)
> 
> in the GitHub LITMUS^RT repository and to
> 
> 	prop/misc-improvements (https://github.com/LITMUS-RT/liblitmus/commits/prop/misc-improvements)
> 
> in the GitHub liblitmus repository. 
> 
> If there are no objections, I'd like to merge these patches later this week or so.
> 
> Glenn, what happened to the C-EDF release race? I take it the patch didn't work for you?
> 
> Thanks,
> Björn
>