Fix handling of antispace in post-processing.#550

Merged

torhovland merged 2 commits intomainfrom 549-post-processing-fix

Jul 3, 2023

+87-6

Commits on Jul 2, 2023

Fix post-processing involving antispace.
torhovland
committed

Commits on Jul 3, 2023

Function only used in testing.
torhovland
committed