Semaphore: use last non-pending instead of penultimate
formatting
release 5ae619b