Update to Smack 4.1

Description

None
Fixed

Assignee

Florian Schmaus

Reporter

Florian Schmaus

Expected Effort

Medium