On Tue, 2024-07-09 at 13:39 +0100, Andrew Cooper wrote:
> Fixes: e536a497545f ("stubdom: Remove caml-stubdom")
> Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
> ---
> CC: Juergen Gross <jgross@suse.com>
> CC: Oleksii Kurochko <oleksii.kurochko@gmail.com>
>
> For 4.19. This is additional tidying to a removal in 4.19, which
> will
> otherwise need backporting if it misses 4.19.
Release-Acked-By: Oleksii Kurochko <oleksii.kurochko@gmail.com>
~ Oleksii
> ---
> config/Stubdom.mk.in | 3 ---
> 1 file changed, 3 deletions(-)
>
> diff --git a/config/Stubdom.mk.in b/config/Stubdom.mk.in
> index 5990fc4e04f9..b399d77740e8 100644
> --- a/config/Stubdom.mk.in
> +++ b/config/Stubdom.mk.in
> @@ -26,9 +26,6 @@ LWIP_URL := @LWIP_URL@
> GRUB_VERSION := @GRUB_VERSION@
> GRUB_URL := @GRUB_URL@
>
> -OCAML_VERSION := @OCAML_VERSION@
> -OCAML_URL := @OCAML_URL@
> -
> GMP_VERSION := @GMP_VERSION@
> GMP_URL := @GMP_URL@
>
>
> base-commit: c4ebeb79d10a25e8d48a71cdd381898265267e67