Skip to content

Conversation

@Girgias
Copy link
Member

@Girgias Girgias commented Nov 7, 2025

Only ext/session had one use of this that is easily replaceable, and a SourceGraph search returns 0 results.

Similar to #20413

Only ext/session had one use of this that is easily replaceable, and a SourceGraph search returns 0 results.
@ndossche
Copy link
Member

ndossche commented Nov 7, 2025

I'm not so sure about this. The API is a simple abstraction of one line, and doesn't hurt to exist. The maintenance of this function is practically zero and the API seems correct.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants