PR #32928 1.3 NEWS edits

1.3 NEWS edits #32928

JeffBezanson merged 1 commit into master from jb/13news

JeffBezanson added this to the 1.3 milestone 6 years ago

StefanKarpinski commented on 2019-08-16

1.3 NEWS edits

d73f689e

JeffBezanson force pushed from 7b2276c6 to d73f689e 6 years ago

ararslan approved these changes on 2019-08-16

JeffBezanson merged b51ae5bb into master 6 years ago

JeffBezanson deleted the jb/13news branch 6 years ago

Reviewers

ararslan

StefanKarpinski

Assignees

No one assigned

Labels

None yet

Milestone

1.3