Completed
Pull Request — develop (#1101)
by Pol
17s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Pol Dellaiera  
Merge 7e565b6c6ae5599e9d0d32f579528e021e00df4b into df90fecf4152b1ab8cb0c84c1cf851985db60d05
1 more commit
Base
Christian Münch  
Prevent output of notice if history file cannot load written (#1096)