Fix #3608: Treat outer selections as separate Tasty tree#3621
Merged
allanrenucci merged 1 commit intoscala:masterfrom Dec 18, 2017
Merged
Fix #3608: Treat outer selections as separate Tasty tree#3621allanrenucci merged 1 commit intoscala:masterfrom
allanrenucci merged 1 commit intoscala:masterfrom