Skip to content

Resolve "Generators in SCAN_SAVING not possible (anymore)?"

Closes #897 (closed)

Merge request !1754 (merged) fixes the termination problem observed with this MR.

Edited by Matias Guijarro

Merge request reports