Skip to content

Update authors list#3533

Merged
pankgeorg merged 1 commit intomainfrom
update-authors-list
May 7, 2026
Merged

Update authors list#3533
pankgeorg merged 1 commit intomainfrom
update-authors-list

Conversation

@fonsp
Copy link
Copy Markdown
Member

@fonsp fonsp commented May 7, 2026

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/JuliaPluto/Pluto.jl", rev="update-authors-list")
julia> using Pluto

@fonsp
Copy link
Copy Markdown
Member Author

fonsp commented May 7, 2026

@pankgeorg Can you check your preferred spelling? You can merge when you're done

@pankgeorg
Copy link
Copy Markdown
Member

pankgeorg commented May 7, 2026

Μου φαίνεται πολύ καλό! ΜΦΠΚ (lgtm)

@pankgeorg pankgeorg merged commit c6ddf50 into main May 7, 2026
12 of 16 checks passed
@pankgeorg pankgeorg deleted the update-authors-list branch May 7, 2026 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants