parser: Fix parsing of patterns containing explicit tactic names.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 6 Jan 2020 20:54:09 +0000 (20:54 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 6 Jan 2020 20:54:09 +0000 (20:54 +0000)

No differences found