Merge pull request #64 from douzzer/20240102-release-1v6v2

20240102-release-1v6v2

Merge pull request #59 from douzzer/20231118-release-1v6v1

20231118-release-1v6v1

Merge pull request #57 from douzzer/20230929-address-bitmasks

20230929-address-bitmasks

Merge pull request #50 from douzzer/20230914-doc-print-version-fix

20230914-doc-print-version-fix

Merge pull request #46 from douzzer/20230720-1v4v0-errata

20230720-1v4v0-errata

Merge pull request #45 from douzzer/20230617-builtin-actions

20230617-builtin-actions

Merge pull request #44 from douzzer/20230707-fix-cmp_addrs

20230707-fix-cmp_addrs

Merge pull request #41 from douzzer/20230519-release-1v3

Release 1.3

Merge pull request #39 from douzzer/20230404-release-1v2v2

20230404-release-1v2v2

ChangeLog.md: update for release 1.2.1.