tree 41913c0b297443548a5635dbddc83efc3f43c657
parent 1091a324fd689a7070772e2d78db380f832489db
author Hugo Lefeuvre <hugo.lefeuvre@scisemi.com> 1714602639 +0200
committer David Chisnall <davidchisnall@users.noreply.github.com> 1714665086 +0100

Add a `release` API to `LockGuard`.

This new `release` API unwraps the lock without unlocking it. This is
useful to call before destroying a lock.

Signed-off-by: Hugo Lefeuvre <hugo.lefeuvre@scisemi.com>