Commit 11373f79 authored by Stephane Glondu's avatar Stephane Glondu

Merge tag '1.9' into explicit-homomorphism

Version 1.9
parents ee73ff61 57dad9e0
Pipeline #81832 passed with stages
in 19 minutes and 9 seconds