New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22144: Renames "session" parameter of `delete_session()` to "target_session", MAJOR #323

Merged

jdbeel merged 1 commit into main from 22144-delete-session-param-rename

Nov 7, 2024

Merged

22144: Renames "session" parameter of `delete_session()` to "target_session", MAJOR #323

Renames "session" parameter of `#delete_session` to "target_session"

GitHub Actions / Test Results succeeded Nov 7, 2024 in 0s

All 490 tests pass, 19 skipped in 1m 25s

509 tests 490 ✅ 1m 25s ⏱️
1 suites 19 💤
1 files 0 ❌

Results for commit 116bd6a.

View more details on GitHub Actions