This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Klaus Weidenbach 9d143e3f2d Fixed an exit of a loop in builtin_activity_puller(). ...

There was a "$return", but I think it should be "return".

2015-03-21 22:28:07 +01:00

50 KiB

Raw Blame History

View Raw