Skip to content

Update/merge 12 into 13

Carlos Vega requested to merge update/merge_12_into_13 into master

I think this should be merged after !206 (merged) and !200 (merged) It would probably be conflicts after those two are merged or viceversa. I will fix them should it be needed.

Merge request reports