Merge pull request #7701 from mikeller/fix_target_independence_check
commit111b023fcd9327125942924ee763326e6cb0e7ff
authorMichael Keller <github@ike.ch>
Sat, 2 Mar 2019 20:11:25 +0000 (3 09:11 +1300)
committerGitHub <noreply@github.com>
Sat, 2 Mar 2019 20:11:25 +0000 (3 09:11 +1300)
tree42702a065a6bb2864f67d2ed0d85a72edc33e2c9
parent8263e0bbacca95eea0838567bf8c52d393b7859d
parentd0cb95a7e113533ad4ed8da45b68517a67f51f6a
Merge pull request #7701 from mikeller/fix_target_independence_check

Fix false positives in target independence check.