Fix var inf csv file

This merge request fixes the content of the var inf positions csv file: due to checking if a string position is present in an integer set, this file was returned empty as if no variable positions were present (cfr. !202 (merged)).

requested review from @roel.vanesch

assigned to @worku005

approved this merge request

added 1 commit

• af0e66af - update changelog

Compare with previous version

added 1 commit

• fa33ae06 - rephrase description in changelog

Compare with previous version

enabled an automatic merge when the pipeline for fa33ae06 succeeds

merged

mentioned in commit f9fadfd5

mentioned in commit 8ae625b4

mentioned in merge request !214 (merged)

mentioned in commit 8ba840cb

mentioned in merge request !215 (merged)

mentioned in commit 9d6a2200