Skip to content

Conversation

@boegel
Copy link
Member

@boegel boegel commented Sep 27, 2020

(created using eb --new-pr)

@boegel boegel added the bug fix label Sep 27, 2020
@boegel boegel added this to the next release (4.3.1) milestone Sep 27, 2020
@boegel boegel added the EESSI Related to EESSI project label Sep 27, 2020
@boegel boegel requested a review from akesandgren September 27, 2020 09:05
Copy link
Contributor

@akesandgren akesandgren left a comment

Choose a reason for hiding this comment

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

LGTM

@akesandgren
Copy link
Contributor

Going in, thanks @boegel!

@akesandgren akesandgren merged commit 5e2a757 into easybuilders:develop Sep 27, 2020
@boegel boegel deleted the 20200927110159_new_pr_JaShrwmPku branch September 27, 2020 09:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug fix EESSI Related to EESSI project

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants