Skip to content

Contributor submission AprY - #140

Closed
mite-bot wants to merge 1 commit into
mainfrom
817b55ae-b6fb-11f0-bab7-2a1693e7738c
Closed

mite-bot wants to merge 1 commit into
mainfrom
817b55ae-b6fb-11f0-bab7-2a1693e7738c

Conversation

@mite-bot

@mite-bot mite-bot commented Nov 1, 2025

Copy link
Copy Markdown
Collaborator

A submission was performed via the MITE web portal and needs reviewing.

Submission ID: 817b55ae-b6fb-11f0-bab7-2a1693e7738c

Review requested

@mmzdouc, @marnixmedema, @BT287, @cbeemelm, @corkdagga, @iaco-vtt

TODO Reviewers

  • Inspect the entry HERE (this link will only work for the current MITE release)
  • Review the entry following the Reviewer Guidelines

This action was performed by mite-bot

@mmzdouc mmzdouc self-assigned this Dec 19, 2025
@mmzdouc mmzdouc added the reviewed The new/modified entry is reviewed label Dec 19, 2025
@mmzdouc

mmzdouc commented Dec 19, 2025

Copy link
Copy Markdown
Member

@mmzdouc

mmzdouc commented Dec 19, 2025

Copy link
Copy Markdown
Member

Merged in #152

@mmzdouc mmzdouc closed this Dec 19, 2025
@mmzdouc
mmzdouc deleted the 817b55ae-b6fb-11f0-bab7-2a1693e7738c branch December 20, 2025 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

reviewed The new/modified entry is reviewed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants