Skip to content

Factorize two proofs

Pierre Roux requested to merge proux1/rt-proofs:revive_mr244 into master

This is a reimplementation of a small part of !244 (closed) following discussions with @kbedarka and @sbozhko

Merge request reports