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)
commit0350f97a49d1b4b51a874f61969cbeda2eff911a
treea052fd3b54f50294db766c3d77a32dd4f88fb18c
parenta1b433ba5a609fc6bf7dc40e0650e2a073e0f1f2
parent1d89280b8d7c7cd7e419eb0fd657e1f2908fdd97
Merge pull request #13250 from JosephTremoulet/CaptureHead

Stop rejecting loops with backward exits