Conversation
|
This is the missing piece from #375 ! |
|
I see no effect at all, positive or negative. This could not hurt, but I don't see it helping other than guessing that it could improve performance somewhat. |
|
@gnodet please un-draft this |
|
@petrberan Can you please merge this? Once this is merged, a release would be appreciated. |
|
Can you rebase this so the CI can kick off again @gnodet ? |
|
@petrberan I think you need to kick off CI manually since @gnodet is a first-time contributor... but I maybe wrong |
|
Don't have the option to sadly @lprimak . Github is able to rerun CI for only 30 days old PRs (though it's set to 90 days, not sure why it doesn't honor the settings). Sadly, this needs a rebase |
@lprimak Lenny, could you check if that helps for your use cases ?