Thanks!

thanks for the approval, any blocker of merging this change? (we have shipped in the homebrew side for this patch)

@chenrui333 no blocker! We just want to make sure @rvirding has a chance to approve 😄

OK, I have merged this into develop and then merged it into master. The question is whether I should "move" the 2.1.3 tag or just leave it? I don't really want to create a new tag just for this.

OK, I have merged this into develop and then merged it into master. The question is whether I should "move" the 2.1.3 tag or just leave it? I don't really want to create a new tag just for this.

we should do roll forward (ie creating a new release) rather than re-tagging.

Excellent! I can re-tag and re-release today!

(by which I mean 2.1.4 ...)

sorry, meant to give an update here: that was done yesterday ... tagged/released on GH, uploaded to hex.pm, and updated the lfe.io "Download" options to point there, too.

Thanks @oubiwann!

• FYI, we have shipped this change in lfe 2.1.4 Homebrew/homebrew-core#159371