removes the (unused) subtype relation between aprods and between aprods and their defined types#2534
Open
jurgenvinju wants to merge 2 commits intomainfrom
Open
removes the (unused) subtype relation between aprods and between aprods and their defined types#2534jurgenvinju wants to merge 2 commits intomainfrom
jurgenvinju wants to merge 2 commits intomainfrom