diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2020-03-26 09:41:30 +0100 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2020-03-26 16:11:36 +0100 |
commit | 4a39564efe7b02a685598ae9dbae95e2326c0230 (patch) | |
tree | d66383a872aabe682f4977137a86b118d9de51d4 /Dockerfile | |
parent | b6e097cfe65ecd1d47c805969082e6805563612b (diff) |
Fix IsDescendant/IsAncestor for overlapping section names
Fixes #7096
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions