Merge branch 'master' into 'master'
authorRaphaël Hertzog <hertzog@debian.org>
Sat, 12 Dec 2020 16:10:37 +0000 (16:10 +0000)
committerRaphaël Hertzog <hertzog@debian.org>
Sat, 12 Dec 2020 16:10:37 +0000 (16:10 +0000)
commit4e260c46192d5c6e67fd7b6775aaa2f07ea8301e
tree0ecd070447e7d71c3136cd42b4396939bf7a42a8
parent5bda6b4a88e91f71844fb1b174f6f90c2c7dbc79
parente82ece9eb1d606a1479f02fd3ae4f46eb9bb0ded
Merge branch 'master' into 'master'

9990-select-eth-device.sh: check carrier, pick NIC

See merge request live-team/live-boot!33
components/9990-select-eth-device.sh