Skip to content

Fix a bug in which set_params was overwritting existing priors.#37

Merged
akleeman merged 2 commits intoswift-nav:masterfrom akleeman:fix_set_params_bugJul 20, 2018

Commits

Commits on Jul 19, 2018