-
Jiří Techet authored
Somewhere in the past the "revision" number was zeroed - fix that and update version for the 0.12.17 release.
bfba8a09
Somewhere in the past the "revision" number was zeroed - fix that and update version for the 0.12.17 release.