commit | 1d1b23cdffbf0a8b753bd07d23408e0861c4bb84 | [log] [tgz] |
---|---|---|
author | Jakub Pavlik <pavlk.jakub@gmail.com> | Wed Oct 18 07:53:28 2017 +0000 |
committer | Gerrit Code Review <gerrit2@7cd0c2eb159e> | Wed Oct 18 07:53:28 2017 +0000 |
tree | b1eeff58c5d913ec9c20023b47c17179466c4b9a | |
parent | 06108aeacb759b9f56ce4f01e4e6f846d01e0ead [diff] | |
parent | 8be34715a508506fe0778ff0aa3c7fb077988c7f [diff] |
Merge "Add a new interface option 'require_interfaces'"