Closed t-bltg closed 1 year ago
Thanks for commenting.
But there are some currently grammatical mistakes in the Pluto.jl docs. We will rebase and merge this pr after we fix the docs?
What should be changed ?
What should be changed ?
Merge after #142 ?
LGTM from my end.
Thanks for fixing the docs !
Maybe we should wait for @johnnychen94 approval ;)
Maybe we should wait for @johnnychen94 approval ;)
Yes yes!
Is everyone ok with a new version ?
It's debatable whether making
Pluto
optional requires a minor or patch bump, I'm ok with both.