Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Resolve "Upgrade Drools"

Merged michael.simon requested to merge 153-upgrade-drools into branch-2.7

Closes #153 (closed)

Merge request reports