Fix command line option for reproducible summations
Actually, the "naive" (non reproducible mode) could not be used. The code was always computing reproducible sums, which is the default.
Actually, the "naive" (non reproducible mode) could not be used. The code was always computing reproducible sums, which is the default.
enabled an automatic merge when the pipeline for 0ed26721 succeeds
merged
mentioned in commit 4d41f63f