mirror of
https://github.com/adrienverge/yamllint.git
synced 2026-10-13 16:31:58 -05:00
Merge keys are described here: http://yaml.org/type/merge.html They shouldn't be considered as duplicated keys. Fixes https://github.com/adrienverge/yamllint/issues/88