Fix #8319: Survive bad parameters in compareCaptured#8320
Merged
nicolasstucki merged 1 commit intoscala:masterfrom Feb 17, 2020
Merged
Fix #8319: Survive bad parameters in compareCaptured#8320nicolasstucki merged 1 commit intoscala:masterfrom
nicolasstucki merged 1 commit intoscala:masterfrom