#144 Fix for incorrect labels when using abbreviated attack names

已合并
jens.klein 6 年之前 将 1 次代码提交从 stefan.schmidt/abbreviated_label_fix合并至 SPIN/master

Fixes #134

Fixes #134
该合并请求已经成功合并!
登录 并参与到对话中。
未选择标签
Bug
未选择里程碑
未指派成员
1 名参与者
正在加载...
取消
保存
这个人很懒,什么都没留下。