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

[Björn Brandenburg]

> On 22. Apr 2018, at 13:54, Björn Brandenburg <bbb at mpi-sws.org> wrote:
> 
>> 
>> 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. 

Should be fixed now.

- Björn