4 Sep
2018
4 Sep
'18
2:46 a.m.
hi, just a small question/suggestion: wouldn't it be better if we keep the current master on github to the last stable release (i.e. 0.48.2) and use a dedicated development branch for adding things?
Christof