It doesn't work to just git checkout v0.4.5 or whichever release you want? 
Maybe that was in the link you posted, I didn't read it..

Reply via email to