Skip to content
Snippets Groups Projects
Commit bac43d52 authored by Marco Ratto's avatar Marco Ratto
Browse files

evaluate set_prior only when needed 

(cherry picked from commit 783c237d)
parent 4f112105
Branches
Tags
1 merge request!2124bug fixes
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment