Fix #7154: Adjust RefinedPrinter to handle extension methods#7155
Merged
nicolasstucki merged 1 commit intoscala:masterfrom Sep 2, 2019
Merged
Fix #7154: Adjust RefinedPrinter to handle extension methods#7155nicolasstucki merged 1 commit intoscala:masterfrom
nicolasstucki merged 1 commit intoscala:masterfrom