I believe it was removed when - https://github.com/opendp/opendp/issues/2640 was filed. This PR fixes that: - https://github.com/opendp/opendp/pull/2696 so we should be able to re-enable median after the next opendp release?
I believe it was removed when
invariant="keys"opendp#2640was filed.
This PR fixes that:
so we should be able to re-enable median after the next opendp release?