On 11/10/2024 2:20 pm, Jan Beulich wrote: > On 11.10.2024 10:52, Frediano Ziglio wrote: >> diff --git a/xen/tools/combine_two_binaries b/xen/tools/combine_two_binaries >> new file mode 100755 >> index 0000000000..ea2d6ddc4e >> --- /dev/null >> +++ b/xen/tools/combine_two_binaries >> @@ -0,0 +1,198 @@ >> +#!/usr/bin/env python3 > Nit: Such files, by convention, are named *.py, I think.
Yes please, and I forgot it on my python review. ~Andrew
