Skip to content

rm remaining uses of PolyVector (#914)

Wuttke, Joachim requested to merge j.0 into main

This resolves #914 (closed).

Merge request reports