Skip to content
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.

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

Add annotations of java.time.Instant #23

Merged
merged 1 commit into from
Sep 21, 2017

Conversation

ctron
Copy link
Member

@ctron ctron commented Sep 18, 2017

Signed-off-by: Jens Reimann jreimann@redhat.com

Signed-off-by: Jens Reimann <jreimann@redhat.com>
@vorburger
Copy link
Member

@ctron thanks for this contribution!

Due to #16, I'm not able to really review this intelligently (could perhaps locally pull and view in Eclipse somehow, but that's much too cumbersome for reviews), so am planning to just merge this in 48h if nobody else has any objections - it's better than not having anything for Instant at all - and it can always be appealed and rectified later if it's not 100% accurate.

@maggu2810 do you have any interest in reviewing this?

@maggu2810
Copy link
Contributor

I checked some of them and it seems to be good.

@vorburger vorburger self-assigned this Sep 20, 2017
@vorburger vorburger self-requested a review September 21, 2017 11:22
@vorburger vorburger merged commit b57deec into lastnpe:master Sep 21, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants