diff options
| author | Tomas Vondra | 2017-10-08 18:36:35 +0000 |
|---|---|---|
| committer | Tomas Vondra | 2017-10-08 18:36:35 +0000 |
| commit | d97e4f668ab404977dad114d148dd29bc4aee8fb (patch) | |
| tree | 42370f183fcc1c9075ad30c10ef2fe7604d1f3de /src/include | |
| parent | 445372c5d3ad77f14b63c23eba4e37fecc631946 (diff) | |
Accept warnings about inheriting distribution from parent
Commit e26a0e07d8 started ignoring distributions defined on partitions,
but omitted this place in 'rules' when accepting the warnings.
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions