[PR #3033/25267b80 backport][stable-3] ini_file: add multiple options with same name to ini file#3207
Merged
felixfontein merged 1 commit intostable-3from patchback/backports/stable-3/25267b80941f1b41c280ed2d6c1ec8162fb8a62b/pr-3033Aug 15, 2021
+1,900-597
