-
Greg Rose authored
Linux kernel 4.13 has been released. Update the kernel build list to the current list of kernels from kernel.org. Signed-off-by: Greg Rose <gvrose8192@gmail.com> Signed-off-by: Andy Zhou <azhou@ovn.org>
4a135421
Linux kernel 4.13 has been released. Update the kernel build list to the current list of kernels from kernel.org. Signed-off-by: Greg Rose <gvrose8192@gmail.com> Signed-off-by: Andy Zhou <azhou@ovn.org>