Skip to content
Discussion options

You must be logged in to vote

That PR [1] was closed in favor of [2], which was merged on 2023-03-01T00:33:19Z.

@anarsultanov Can you mark this comment as the answer so it doesn't show up as unanswered in the GitHub discussions tab?

[1] #1365
[2] #1369

Replies: 1 comment 10 replies

Comment options

You must be logged in to vote
10 replies
@anarsultanov
Comment options

@MikeEdgar
Comment options

@anarsultanov
Comment options

@codespearhead
Comment options

Answer selected by anarsultanov
@tsaarni
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
5 participants