Fix #3442: Make `wait`, `notify` and `notifyAll` final#3444

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

dotty-staging:fix-#3442

Nov 8, 2017

Commits on Nov 8, 2017

Fix #3442: Make `wait`, `notify` and `notifyAll` final
allanrenucci
committed