Merge master into StarForth-v4.0.0: #118's merge commit, so the next PR is up to date
Build / Image RASPI (push) Successful in 4m24s
Build / Image PC (push) Successful in 4m28s
Build / Image MILKV (push) Successful in 4m28s
Build / v4 tests (32- and 64-bit cells) (push) Successful in 11m23s
Acceptance / Acceptance (pull_request) Successful in 16m14s
Build / Image RASPI (push) Successful in 4m24s
Build / Image PC (push) Successful in 4m28s
Build / Image MILKV (push) Successful in 4m28s
Build / v4 tests (32- and 64-bit cells) (push) Successful in 11m23s
Acceptance / Acceptance (pull_request) Successful in 16m14s
master's only commit not on the branch is the merge of #118, whose tree is the branch's own
4f6a267b.
This commit is contained in: