Auto-Merge pull request #2096 from rubenk/target-set-plug-leak
authorFlorian Forster <ff@octo.it>
Thu, 15 Dec 2016 10:44:10 +0000 (11:44 +0100)
committerGitHub <noreply@github.com>
Thu, 15 Dec 2016 10:44:10 +0000 (11:44 +0100)
Automatically merged due to "Automerge" label


Trivial merge