Subst["__PRIMARY_MIRROR__"] = Archive["PrimaryMirror"];
for bug in string.split(Options["Done"]):
Subst["__BUG_NUMBER__"] = bug;
Subst["__PRIMARY_MIRROR__"] = Archive["PrimaryMirror"];
for bug in string.split(Options["Done"]):
Subst["__BUG_NUMBER__"] = bug;