@badshah400 Do you mind having a look? Finally I worked out the right solution with upstream. Will hopefully be part of Dune 2.10.

Atri Bhattacharya (badshah400) - 29 days ago

target maintainer

I'll have a look at it tomorrow. Sorry for the delay

Looks great to me. Perhaps add some details about the version update (if upstream has some form of release notes), otherwise, all good. Many thanks for the sr.

Christoph G (mathletic) - 28 days ago

author source maintainer target maintainer

Thank you for the review! Between 2.9.0 and 2.9.1 not every module got changes. I'll add a changelog to the other modules, and self-accept the changes.

@mathletic, @polyconvex: review reminder