22144: Renames "session" parameter of delete_session() to "target_session", MAJOR#323
Merged
jdbeel merged 1 commit intomainfrom 22144-delete-session-param-renameNov 7, 2024
+12-12
delete_session() to "target_session", MAJOR#323