[policy] Fix a couple of typos #3381
Merged
Cirrus CI / Report Stage One - ubuntu-20.04
succeeded
Oct 10, 2023 in 15m 9s
Task Summary
Task successfully finished!
Details
✅ 00:04 clone
✅ 01:06 setup
✅ 00:59 unittest
✅ 12:55 main
✔️ 00:00 fail
✔️ 00:00 log
Loading