#144 Fix for incorrect labels when using abbreviated attack names

Merged
jens.klein merged 1 commits from stefan.schmidt/abbreviated_label_fix into SPIN/master 5 years ago

Fixes #134

Fixes #134
This pull request has been merged successfully!
Sign in to join this conversation.
No Milestone
No assignee
1 Participants
Loading...
Cancel
Save
There is no content yet.