randomconfig fix
authorDenys Vlasenko <vda.linux@googlemail.com>
Tue, 23 Jun 2020 07:38:53 +0000 (09:38 +0200)
committerDenys Vlasenko <vda.linux@googlemail.com>
Tue, 23 Jun 2020 07:38:53 +0000 (09:38 +0200)
commitd206b1651ac4dc4db1d9bbd172a81da0568b42e8
tree8dd761271f8c47e4897953779918113affc1f473
parent03ab212bff0fa7f51c0f75ee4be5db67184e41a2
randomconfig fix

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
include/platform.h