in `ErrorMayQuit` calls, replace `%i` by `%d` #11

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	1m 23s
master	1m 4s
stable-4.13	56s
stable-4.12	3m 28s
stable-4.11	2m 51s
	9m 42s