Fix #6530: Only cancel term quotes with term splices (and vice versa)#6536
Merged
nicolasstucki merged 1 commit intoscala:masterfrom May 21, 2019
Merged
Fix #6530: Only cancel term quotes with term splices (and vice versa)#6536nicolasstucki merged 1 commit intoscala:masterfrom
nicolasstucki merged 1 commit intoscala:masterfrom