carta

PAPIF_unlock(3) on Linux

The text c39a66e88b75, as Debian 10 (Buster) shipped it.

Unlock one of the mutex variables defined in papi.h.

PAPIF_unlock(3) on Linux now