[nancy/grcinq] grcinq-[42,23] is retired

5 jobs for grcinq_retired in 6 minutes and 28 seconds (queued for 5 seconds)