Fix typos: `informations` -> `information`#12666

Merged

bors merged 1 commit intorust-lang:masterfrom Rustin170506:rustin-patch-typos

Sep 13, 2023

+8-8

Commits on Sep 13, 2023

Fix typos: informations -> information
Rustin170506
committed