Merge pull request #13250 from JosephTremoulet/CaptureHead
authorJoseph Tremoulet <JCTremoulet@gmail.com>
Mon, 7 Aug 2017 23:07:21 +0000 (19:07 -0400)
committerGitHub <noreply@github.com>
Mon, 7 Aug 2017 23:07:21 +0000 (19:07 -0400)
Stop rejecting loops with backward exits


Trivial merge