PR #537 Reduce testing matrix - SemanticDiff

Reduce testing matrix #537

jdm wants to merge 1 commit into master from jdm-patch-24

jdm

jdm

Reduce testing matrix

56de7bcd

Login to write a write a comment.

Login via GitHub

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone