Merge pull request #1207 from ZirconiumX/intel_new_pass_names
authorDavid Shah <dave@ds0.me>
Thu, 18 Jul 2019 16:34:55 +0000 (17:34 +0100)
committerGitHub <noreply@github.com>
Thu, 18 Jul 2019 16:34:55 +0000 (17:34 +0100)
commit8e0f7c18f1beafcbd16afa616d7766089552d0a7
tree624d9007295dd7f50ed5b30717016ec0098464ed
parente66e8fb59d8443c8d55c1185d6b2ce889a35357d
parentc78ab8ebc53bc78d5f1910e311b1e4305df4ca48
Merge pull request #1207 from ZirconiumX/intel_new_pass_names

synth_intel: rename for consistency with #1184