PR #15954 Fix typo in definition of world size in docs

Fix typo in definition of world size in docs #15954

Borda merged 1 commit into master from docs/world-size-definition

fix typo in definition of world size

7da239c2

awaelchli requested a review from

edenlightning 3 years ago

awaelchli requested a review from

tchaton 3 years ago

awaelchli requested a review from

Borda 3 years ago

github-actions added pl

awaelchli removed pl

awaelchli added docs

awaelchli added fun

awaelchli added this to the v1.9 milestone 3 years ago

Borda approved these changes on 2022-12-08

Borda enabled auto-merge (squash) 3 years ago

Borda requested a review from

ethanwharris 3 years ago

Borda requested a review 3 years ago

ethanwharris approved these changes on 2022-12-08

Borda merged 7a1e0e80 into master 3 years ago

Borda deleted the docs/world-size-definition branch 3 years ago

mergify added ready to be merged

Reviewers

ethanwharris

Borda

edenlightning

tchaton

Assignees

No one assigned

Labels

ready to be merged docs fun

Milestone

v1.9