Skip to content

Desktop changes 6 july 2026 - #3594

Merged
fonsp merged 1 commit into
mainfrom
desktop-changes-july-6-2026
Jul 6, 2026
Merged

Desktop changes 6 july 2026#3594
fonsp merged 1 commit into
mainfrom
desktop-changes-july-6-2026

Conversation

@fonsp

@fonsp fonsp commented Jul 6, 2026 •
edited by github-actions Bot
Loading

Copy link
Copy Markdown
Member

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="desktop-changes-july-6-2026")
julia> using Pluto

@fonsp
fonsp merged commit aaa7158 into main Jul 6, 2026
7 checks passed
@fonsp
fonsp deleted the desktop-changes-july-6-2026 branch July 6, 2026 21:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@fonsp