Skip to content

Port to 3.0.0-preview5 - #880

Merged
roji merged 4 commits into
npgsql:devfrom
roji:preview5
May 6, 2019
Merged

Port to 3.0.0-preview5#880
roji merged 4 commits into
npgsql:devfrom
roji:preview5

Conversation

@roji

@roji roji commented May 6, 2019

Copy link
Copy Markdown
Member

No description provided.

@roji

roji commented May 6, 2019

Copy link
Copy Markdown
Member Author

@YohDeadfall merging this as it's pretty trivial/small changes (and we want to publish ASAP :)).

@roji
roji merged commit d86bd4e into npgsql:dev May 6, 2019
@roji
roji deleted the preview5 branch May 6, 2019 21:55
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.

1 participant