9 Sep
2016
9 Sep
'16
2:45 p.m.
On Friday, 9 September 2016 15:33:20 CEST Richard W.M. Jones wrote:
--- v2v/linux_bootloaders.ml | 2 +- v2v/utils.ml | 9 --------- v2v/utils.mli | 3 --- 3 files changed, 1 insertion(+), 13 deletions(-)
Hm this may change the order of the grub1 kernels though. Also the sorting done with a simple string comparison function will not always produce the right order, because of the possible version number of kernels. -- Pino Toscano