Gerrit Code Review e7b140e73d Update notes for submitted changes
* Introduce default_boot_option configuration option
2016-10-13 11:31:01 +00:00
..