Adding --force-named-panic option#695
Merged
shlomi-noach merged 5 commits intomasterfrom named-panicMar 11, 2019
+29
Commits
Commits on Jan 14, 2019
- committedShlomi Noach
- committedShlomi Noach
Commits on Feb 25, 2019
- authoredShlomi Noach
- committedShlomi Noach
Commits on Mar 6, 2019
- authoredShlomi Noach