[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