You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Writing this issue was on my todo list. Thanks Erik for taking care of this.
What I also found confusing was that the Wikipedia page mentions different variations so its not clear which one we want. (Not sure if those were relevant in the end though.)
Activity
junedev commentedon Nov 22, 2022
Writing this issue was on my todo list. Thanks Erik for taking care of this.
What I also found confusing was that the Wikipedia page mentions different variations so its not clear which one we want. (Not sure if those were relevant in the end though.)