Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@NicoVIII
Copy link
Contributor

The properties were defined but not used to pack. This fixes that.

The properties were defined but not used to pack. This fixes that.
@Krzysztof-Cieslak Krzysztof-Cieslak merged commit 8a40a9b into ionide:master May 24, 2020
@NicoVIII NicoVIII deleted the patch-2 branch June 1, 2020 15:54
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