Skip to content

Revert "More general entity-type counting, expose the NoSharing type through the API for external usage"#237

Merged
wrtobin merged 1 commit intomasterfrom
revert-236-wrt/nosharing-count
Jul 3, 2019
Merged

Revert "More general entity-type counting, expose the NoSharing type through the API for external usage"#237
wrtobin merged 1 commit intomasterfrom
revert-236-wrt/nosharing-count

Conversation

@wrtobin
Copy link
Collaborator

@wrtobin wrtobin commented Jul 3, 2019

Reverts #236

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