Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
API: clarify that set_pid() assumes the PID won't change until load()
Refs #624. Signed-off-by: Brice Goglin <[email protected]> (cherry picked from commit e381de8)
- Loading branch information