[LITMUS^RT] Litmus-RT: `release_ts` bug (and fix?)

[Björn Brandenburg]

> On 22. Apr 2018, at 13:51, Nathan Otterness <otternes at cs.unc.edu> wrote:
> 
> Yes, I submitted a fix for this issue in the tutorial, and the PR is even merged (https://github.com/LITMUS-RT/www.litmus-rt.org/pull/4).  It looks like it just never made it to the live site.

Thanks for the quick reply. I guess the auto-updating script is broken. :-/ 

I’ll look into it in the coming days. 

- Björn