![]() |
Reserving 1295340 1896102
|
Dropping 125034. Apparently I've had it reserved since last December. Slightly more disturbing is that it's been worked on in the FDB for at least the last couple of months despite the reservation. Not sure what's going on there.
|
Drop 1231584.
|
Dropping 956840
Reserving 519750 |
Reserving 1520760 1320366
|
Reserving 1522668 and 1769688
(Edit: :davar55: We don't know why, but we are always afraid of spelling the word "reserving" wrong and ending up making a mess of the topic, that is why we always click "reply", on Batalov's post, then edit to eliminate his numbers and quotes, and put our numbers... We trust he spells the word right... :razz:) |
[QUOTE=Dubslow;471922]Dropping 125034. Apparently I've had it reserved since last December. Slightly more disturbing is that it's been worked on in the FDB for at least the last couple of months despite the reservation. Not sure what's going on there.[/QUOTE]
This command seems to have been missed (or misprocessed). [QUOTE=LaurV;471971]Reserving 1522668 and 1769688 (Edit: :davar55: We don't know why, but we are always afraid of spelling the word "reserving" wrong and ending up making a mess of the topic, that is why we always click "reply", on Batalov's post, then edit to eliminate his numbers and quotes, and put our numbers... We trust he spells the word right... :razz:)[/QUOTE] You could always just typing [URL="https://github.com/MersenneForum/MersenneForumAliquot/blob/master/scripts/reservations.py#L370"]"adding" or "taking"[/URL] :smile: |
Dropping 1769688
It merged with the other one (it was already merged, just not detected by the blue page yet). |
Taking 1904148
|
Reserving 1865724 and 1742328.
|
Reserving 1821480
|
| All times are UTC. The time now is 23:17. |
Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.