[LITMUS^RT] proposing liblitmus API additions and changes

Björn Brandenburg bbb at mpi-sws.org
Tue Jul 2 09:05:06 CEST 2013


On Jul 2, 2013, at 1:54 AM, Hiroyuki Chishiro <chishiro at cs.unc.edu> wrote:
>  
> I have made a patch to fix this bug.
>  

Thanks, merged.

- Björn






More information about the litmus-dev mailing list