sdvel version SDVEL_RELEASE_0-1-2 fixes a bug introduced by SDVEL_RELEASE_0-1-1 in the tool that creates releases.
Posted in