Skip to content

Deal with info returned by priordens being a vector

See also a5b97a28 @MichelJuillard This should be a proper solution as discussed

Edited by Johannes Pfeifer

Merge request reports