Merge pull request #3457 from annando/1705-probe
authorrabuzarus <rabuzarus@t-online.de>
Mon, 8 May 2017 20:28:42 +0000 (22:28 +0200)
committerGitHub <noreply@github.com>
Mon, 8 May 2017 20:28:42 +0000 (22:28 +0200)
commit899bfacb734fe9acdb22fd7f58f837d2d7338506
tree30836d4248027f73b242edf80803c1bdae3c92ea
parent63b900a5cd9a31037605b88e2c6a7313ce811226
parentf6fe11ff49132da2f2015f650153b0f28d01d62b
Merge pull request #3457 from annando/1705-probe

Small bugfix for PR 3454