Skip to content

Polish #534

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

Polish #534

wants to merge 1 commit into from

Conversation

@izeye
Copy link
Contributor

@izeye izeye commented Jul 25, 2018

This PR polishes trivial stuff.

@wilkinsona wilkinsona added this to the 1.2.6.RELEASE milestone Aug 1, 2018
@wilkinsona wilkinsona added the type: task Non user-facing work label Aug 1, 2018
wilkinsona added a commit that referenced this pull request Aug 1, 2018
@wilkinsona
Merge pull request #534 from Johnny Lim
93cb08a 
* gh-534:
  Polish
@wilkinsona wilkinsona closed this in 5a8fe2f Aug 1, 2018
@wilkinsona
Copy link
Member

wilkinsona commented Aug 1, 2018

Thanks, @izeye. I kept the changes to JsonContentHandlerTests but didn't merge the switch to using streams. REST Docs' codebase hasn't really adopted Java 8 yet and I'd prefer to do a complete sweep of the codebase at some point on that theme.

@izeye izeye deleted the polish-20180725 branch August 1, 2018 10:45
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

type: task Non user-facing work

Projects

None yet

Milestone

1.2.6.RELEASE

Development

Successfully merging this pull request may close these issues.

2 participants

@izeye @wilkinsona