If possible avoid code changes on dist to avoid confusion, unless they are bug fixes that need to be ported to the branch. We should release at some point tomorrow. Thanks, Samuele Pedroni