Do we have an ETA on when dev getting merged to main? #944
Unanswered
ye7iaserag
asked this question in
Q&A
Replies: 2 comments
-
|
Just noticed there is a PR #939 |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
That pull you mentioned was merged 11 days ago |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I heard that there are many fixes on dev that can be useful, not trying to push or anything but just trying to know if I should just wait for an official merge or if I should just try dev branch.
Is there an announced date? or a plan the maintainers follow before merging?
Beta Was this translation helpful? Give feedback.
All reactions