Merge pull request #1313 from p4lang/release_v1.2.5

Release v1.2.5

Merge pull request #1245 from jnfoster/v1.2.4-rc

Release candidate for v1.2.4

Merge pull request #1210 from jfingerh/release-version-1.2-of-psa-spec

Release version 1.2 of PSA specification

Merge pull request #1110 from jnfoster/v1.2.3-rc

Initial release candidate for v1.2.3

Merge pull request #939 from p4lang/final-v1.2.2-tweaks

Final fixes for v1.2.2 release

Merge pull request #872 from p4lang/v1.2.1-formatting

Fix small formatting issues in v1.2.1

Merge pull request #865 from p4lang/P4-16-v1.2.1-rc

P4-16-v1.2.1 Release Candidate

Merge pull request #786 from p4lang/P4-16-v1.2.0

Update version to 1.2.0 for release

Merge pull request #782 from jnfoster/v1.2.0-rc

v1.2.0 release candidate

Minor formatting fixes for HTML version.