julia
edit NEWS for 1.13
#60328
Merged

edit NEWS for 1.13 #60328

JeffBezanson merged 2 commits into release-1.13 from jb/news113
JeffBezanson
JeffBezanson edit NEWS for 1.13
57d92cb5
JeffBezanson add NEWS items from #60300
a6e045ce
nsajko nsajko added docs
JeffBezanson JeffBezanson merged a97e4fdb into release-1.13 58 days ago
JeffBezanson JeffBezanson deleted the jb/news113 branch 58 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone