Skip to content

Add MPPKit #15762

Closed
#15763
Closed
Add MPPKit#15762
#15763
Labels
Add Package[Automatic PR]

Description

@hpetersen
hpetersen
opened on Oct 19, 2026

New Packages

https://github.com/hpetersen/MPPKit.git

Activity

  1. hpetersen
    added
    Add Package[Automatic PR]
    on Oct 19, 2026

  2. github-actions commented on Oct 19, 2026

    @github-actions
    github-actionsBot
    on Oct 19, 2026 – with GitHub Actions
    Contributor

    Thank you! We will approve and add these packages with #15763.

  3. finestructure
    closed this as completedin #15763on Oct 19, 2026
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

    Add Package[Automatic PR]

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions