Adapt version number of docs in 1.2 branch.