Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Great work Xenofon, thank you. Indeed we should aim to merge it soon, to also allow different developers to test it more.
Related to the process of merging it, we probably should squash it everything together to one commit, as it contains are over 60 commits, right? Some of the initial commits are using also a different commit message format, no prefix.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.