Closed PietroPasotti closed 2 months ago
@tonyandrewmeyer do we cherry pick this in the 7.0 branch, or do you want to do a larger final rebase before releasing?
@tonyandrewmeyer do we cherry pick this in the 7.0 branch, or do you want to do a larger final rebase before releasing?
Yeah, good question. I have ignored it so far, but really ought to get the main changes into 7. Do you have any preference?
not really, I guess it's easier to do a rebase to avoid missing anything?
not really, I guess it's easier to do a rebase to avoid missing anything?
Probably yes. I wish I had paid more attention earlier and realised that I was not squashing when I merged into 7.0 :disappointed:.
I'll work on cleaning this up.
Fixes #144
config_get
had a subtle bug causing the state_in.config to be mutated when called. Fixed by copying the input config.