this may not exactly relevant with your question, but this is what I do to install previous version when master is still on v11.x.x using easy install script.
Also please look at this too as this is my original question for installing previous version of ERPnext