Skip to content

Conversation

KristofferC
Copy link
Member

@KristofferC KristofferC commented Jun 25, 2020

Backported PRs:

Non-merged PRs with backport label:

mgautam98 and others added 4 commits June 25, 2020 15:30
* Fix rem2pi for RoundToZero

* add extra tests for rem2pi

(cherry picked from commit 0c92375)
* Partial fix for #35495

This removes the NEWS.md link at the bottom of the first page of the
manual. Given that we link to it prominently on top of the page, I
feel this is ok.

This will remove Section II of the PDF manual, where the release notes
take 15 pages (because ofthe way markdown gets converted to PDF).

* Better layout for the generated PDF

(cherry picked from commit 43fd66c)
as before and to the PDF version as well. In the PDF version,
they are at the back of the document as the last Part.

(cherry picked from commit 5142abf)
@KristofferC KristofferC added the release Release management and versioning. label Jun 25, 2020
@KristofferC KristofferC added this to the 1.5 milestone Jun 25, 2020
mbauman and others added 2 commits June 26, 2020 11:22
* Fix pointer to no longer assume contiguity

(cherry picked from commit 59b8dde)
@KristofferC KristofferC merged commit c13b5ec into release-1.5 Jun 26, 2020
@KristofferC KristofferC deleted the backports-release-1.5 branch June 26, 2020 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release management and versioning.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants