It can be merged if no other changes are planned inside this PR -- it is ageing and it can result in conflicts in the future, another PR can be created for similar changes.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.