Auto merge of #3018 - ttsugriy:ttsugriy-patch-1, r=RalfJung

[nit][typo] Fix out of order words.
This commit is contained in:
bors 2023-08-15 11:30:37 +00:00
commit f6577504f7

Diff content is not available