tree b1eeff58c5d913ec9c20023b47c17179466c4b9a
parent 06108aeacb759b9f56ce4f01e4e6f846d01e0ead
parent 8be34715a508506fe0778ff0aa3c7fb077988c7f
author Jakub Pavlik <pavlk.jakub@gmail.com> 1508313208 +0000
committer Gerrit Code Review <gerrit2@7cd0c2eb159e> 1508313208 +0000

Merge "Add a new interface option 'require_interfaces'"