porky11 / minlang

use * instead of **

By fabio.u.krapohl@fau.de on October 25, 2017
This patch is not signed.
6PHjLiVDAzMiCjpHEmwq21byKPrTGY8zkyDy7PNmFqqZVRAuoZqGoyGDx96uwGgZkHm8tpmWJB5WfUi9hrJq6DTD
This patch is in the following branches:
master