You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Makefile: shorten tip about Unicode embedding time
The estimate about this step taking "up to a minute" really depends on
the machine we're compiling on. For example, on an old or underpowered
machine, it may take _longer_ than a minute. So this patch changes the
wording accordingly and puts the reason for the delay at the beginning.
0 commit comments