Checkout
Jürgen Edner
committed
on 12 Jan
updated version number.