Skip to content

Cutting 0.15.11 #240

Closed
#241
Closed
Cutting 0.15.11#240
#241

Description

@ericmarkmartin
ericmarkmartin
opened on Mar 1, 2025

Hey,

Thanks so much for merging #235 so quickly.

I was wondering if it would be possible to cut a release including it (and #239) so we can use it downstream in uv. Happy to help out if that'd be useful

Activity

  1. djc commented on Mar 1, 2025

    @djc
    djc
    on Mar 1, 2025
    Member

    Sure, I'll get it done soon.

  2. djc commented on Mar 1, 2025

    @djc
    djc
    on Mar 1, 2025
    Member

    Can you submit a PR with a version bump?

  3. ericmarkmartin commented on Mar 1, 2025

    @ericmarkmartin
    ericmarkmartin
    on Mar 1, 2025
    ContributorAuthor

    Sure! I notice that the changelog doesn't have the last two versions in it---should I bother putting anything there?

  4. djc commented on Mar 1, 2025

    @djc
    djc
    on Mar 1, 2025
    Member

    Hah, we submitted in the same minute. I'll move forward with #241.

  5. djc commented on Mar 1, 2025

    @djc
    djc
    on Mar 1, 2025
    Member

    Sure! I notice that the changelog doesn't have the last two versions in it---should I bother putting anything there?

    #243.

  6. djc
    closed this as completedin #241on Mar 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions