Is the plan to get the PR merged soon? Or is there...
# core
g
Is the plan to get the PR merged soon? Or is there additional work that needs to happen first?