Inga väntande lopp

ArdaML har inga lopp som väntar på verifiering.