Allow given
bindings in patterns#7194
Merged
odersky merged 10 commits intoscala:masterfrom Sep 12, 2019
Commits
Commits on Sep 11, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed