chiark / gitweb /
filamentspool: Fix a bug in dove version introduced with nondove: difference() scope...