Skip to content

Make make_zipfile 'private'#183

Merged
lpenet merged 1 commit intomasterfrom
enhancement/make_zipfile-private
Oct 20, 2021
Merged

Make make_zipfile 'private'#183
lpenet merged 1 commit intomasterfrom
enhancement/make_zipfile-private

Conversation

@vthorey
Copy link
Contributor

@vthorey vthorey commented Oct 20, 2021

No description provided.

@vthorey vthorey requested a review from lpenet October 20, 2021 15:33
@lpenet lpenet added the team-mielpops Team MieL pOps label Oct 20, 2021
@lpenet lpenet added this to the 10.0 milestone Oct 20, 2021
Copy link
Contributor

@lpenet lpenet left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM+Tested (on ubuntu)

@lpenet lpenet merged commit 49b442b into master Oct 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-mielpops Team MieL pOps

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants