Closed adrienball closed 5 years ago
Merging #771 into develop will increase coverage by
0.01%
. The diff coverage is100%
.
@@ Coverage Diff @@
## develop #771 +/- ##
===========================================
+ Coverage 88% 88.02% +0.01%
===========================================
Files 76 76
Lines 4487 4491 +4
Branches 852 853 +1
===========================================
+ Hits 3949 3953 +4
Misses 402 402
Partials 136 136
Description: This PR fixes an issue which caused a crash when re-fitting a
CRFSlotFiller
.Checklist: