Draft: [#1039] Change specializations
requested to merge 1039-double-kalman-filter-different-specializations into 1039-double-kalman-filter
@nikolai.morin this is a different specialization regarding what we discussed in !1016 (comment 584655889)
To everybody else, this is not targeting master, it targets the branch used in !1016 (merged). This MR exists for discussion purposes only and therefore does not follow the guidelines.
Edited by Igor Bogoslavskyi