remove info about sending in corrections and fix translation #43

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu / 3.10 / type-check	1m 21s
ubuntu / 3.10 / lint	1m 9s
ubuntu / 3.10 / fmt	1m 4s
check-check	4s
	3m 38s