Skip to content

8215131: Pandoc 2.3/build documentation fixes#1314

Closed
gdams wants to merge 1 commit intoopenjdk:pr/1313from
gdams:pandoc1
Closed

8215131: Pandoc 2.3/build documentation fixes#1314
gdams wants to merge 1 commit intoopenjdk:pr/1313from
gdams:pandoc1

Conversation

@gdams
Copy link
Member

@gdams gdams commented Aug 4, 2022

changes apply cleanly except for the cross-compile markdown table which was updated in 90ac8ae

Prerequisite to backporting openjdk/jdk@4f45b5f


Progress

  • Change must be properly reviewed (1 review required, with at least 1 Reviewer)
  • Change must not contain extraneous whitespace
  • Commit message must refer to an issue

Integration blocker

 ⚠️ Dependency #1313 must be integrated first

Issue

Reviewing

Using git

Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk11u-dev pull/1314/head:pull/1314
$ git checkout pull/1314

Update a local copy of the PR:
$ git checkout pull/1314
$ git pull https://git.openjdk.org/jdk11u-dev pull/1314/head

Using Skara CLI tools

Checkout this PR locally:
$ git pr checkout 1314

View PR using the GUI difftool:
$ git pr show -t 1314

Using diff file

Download this PR as a diff file:
https://git.openjdk.org/jdk11u-dev/pull/1314.diff

@bridgekeeper
Copy link

bridgekeeper bot commented Aug 4, 2022

👋 Welcome back gdams! A progress list of the required criteria for merging this PR into pr/1313 will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

@openjdk openjdk bot changed the title Backport 8c00337375d67f6e7991073da8a93e2a6d733a24 8215131: Pandoc 2.3/build documentation fixes Aug 4, 2022
@openjdk
Copy link

openjdk bot commented Aug 4, 2022

This backport pull request has now been updated with issue from the original commit.

@openjdk openjdk bot added backport Port of a pull request already in a different code base rfr Pull request is ready for review labels Aug 4, 2022
@mlbridge
Copy link

mlbridge bot commented Aug 4, 2022

Webrevs

@gdams
Copy link
Member Author

gdams commented Aug 4, 2022

#1277

@gdams gdams closed this Aug 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport Port of a pull request already in a different code base rfr Pull request is ready for review

Development

Successfully merging this pull request may close these issues.

1 participant