allowing multiple definitions of that option to be merged, because: - their order should be irrelevant - it might make sense to declare multiples of them at different locations
8.3 KiB
8.3 KiB