Bump to version 0.5.12