better error message in magma_free when timeout #41041
better error message in magma_free when timeout
ec0405b0
suggested detail
d68e75f0
maxale
removed s: needs review
maxale
added s: positive review
vbraun
merged
405b5d06
into develop 76 days ago
fchapoton
deleted the magma_free_timeout branch 69 days ago
Assignees
No one assigned
Labels
c: interfaces: optional
Login to write a write a comment.
Login via GitHub