Skip to content

make user id nullable in line with java interface#140

Closed
aultimus wants to merge 1 commit intomasterfrom
make-userid-nullable
Closed

make user id nullable in line with java interface#140
aultimus wants to merge 1 commit intomasterfrom
make-userid-nullable

Conversation

@aultimus
Copy link
Copy Markdown

@aultimus aultimus commented Mar 10, 2020

@aultimus aultimus force-pushed the make-userid-nullable branch from 841f30b to 1dbf451 Compare March 10, 2020 23:11
@aultimus aultimus force-pushed the make-userid-nullable branch from 1dbf451 to 25c1931 Compare March 10, 2020 23:13
@bsneed
Copy link
Copy Markdown
Contributor

bsneed commented Mar 11, 2020

Can you verify that all the other nullability settings in this file are correct?

@bsneed bsneed closed this Mar 19, 2020
@bsneed
Copy link
Copy Markdown
Contributor

bsneed commented Mar 19, 2020

This is addressed in PR #147

@oscb oscb deleted the make-userid-nullable branch February 23, 2022 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants