Skip to content

Conversation

@gadomski
Copy link
Member

@gadomski gadomski commented Jun 7, 2023

Related Issue(s):

Description:

We use Modifiable in the signature of Client.open() (among other places) so it should be "public".

PR Checklist:

  • Code is formatted
  • Tests pass
  • Changes are added to the CHANGELOG

@gadomski gadomski added this to the 0.7.0 milestone Jun 7, 2023
@gadomski gadomski requested a review from jsignell June 7, 2023 18:48
@gadomski gadomski self-assigned this Jun 7, 2023
@gadomski gadomski merged commit 478fb86 into main Jun 8, 2023
@gadomski gadomski deleted the issues/533-public-modifiable branch June 8, 2023 14:48
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.

Make Modifiable "public"

3 participants