Iván Valdés Castillo

Results 430 comments of Iván Valdés Castillo

This change looks good to me. One thing worth noting is that the v3.6 docs now show a warning, too. I think it should be fine, but I just wanted...

Thanks for the PR, @dwelsch-esi. I briefly looked into it but felt overwhelmed, as there were too many changes. I would suggest: 1. Break down the PR into more atomic...

/ok-to-test @JalinWang, can you squash your commits?

cc. @jmhbnz, @ahrtr, @serathius, @fuweid

I like the idea. 3.4's layout is more explicit/verbose, but it is also easier for end-users to reference what configuration option they are using. > We could start with a...

> For me, for now it may be easier to write a bash / sh script. Would this be acceptable? Writing a shell script and calling it from a `Makefile`...

Hi, @webdawg, I'd suggest opening a draft pull request so we can spearhead reviewing in place, rather than downloading the script. Thanks.