Hi Mathieu, Do we need to export all of these?
+ cuirass-configuration-cache-directory + cuirass-configuration-group + cuirass-configuration-interval + cuirass-configuration-database + cuirass-configuration-specifications + cuirass-configuration-use-substitutes? + cuirass-configuration-one-shot? + %default-cuirass-configuration Is %default-cuirass-configuration needed? Looks good to me otherwise. Thank you. David
