[petsc-dev] Documentation version mismatch?

[Pierre Jolivet]

Hello,
https://docs.petsc.org/en/latest/ <https://docs.petsc.org/en/latest/> shows 
"PETSc 3.14.0 documentation” in the header and footer.
Shouldn’t it either display 3.14 or 3.14.2?

Thanks,
Pierre