Oh, that patch is against git rev 4649a4cbb3bd6bc516c093adefa5dc7da8141b92 which still seems to be head-of-tree.
Dave
Oh, that patch is against git rev 4649a4cbb3bd6bc 516c093adefa5dc 7da8141b92 which still seems to be head-of-tree.
Dave