Cursor.close() does not complete if it was already called#1579
Merged
tsegismont merged 1 commit intoeclipse-vertx:5.0from Nov 21, 2025
Merged
Cursor.close() does not complete if it was already called#1579tsegismont merged 1 commit intoeclipse-vertx:5.0from
tsegismont merged 1 commit intoeclipse-vertx:5.0from
