j
k
j a
j l
On Fri Apr 21 09:02:34 2023 +0000, Huw Davies wrote:
I'd prefer two functions `sessions_lock()` and `sessions_unlock()` (cf. `pulse_lock()` and `pulse_unlock()`).
!2694
Back to the thread
Back to the list