Fix strange merge from hello_wolf to master
The merge from hello-wolrd to master left a broken hello-wolf application. This is now fixed.
The merge from hello-wolrd to master left a broken hello-wolf application. This is now fixed.
merged
mentioned in commit 3ae40da3