rain system does not get automatically disabled anymore
[refs #134 (closed), closes #134 (closed)]
Merge details
Closed #134 (closed)
changed milestone to %Bugfix
merged
mentioned in commit 31b7055e
