Skip to content

Pass reduced_operator to observer#87

Merged
mtfishman merged 4 commits intomainfrom reduced_operator_observerSep 3, 2024