Please sign in to comment.
'Fix' a validation problem when bootstrap is 7.2.1
Problem is with GADTs in new code gen and incomplete pattern warnings. Just disabled the warning really and created #5424 to track an actual fix.
- Loading branch information...
Showing with 3 additions and 3 deletions.