From de4a81a79f300c8ce47270da5aeaddb08b4196db Mon Sep 17 00:00:00 2001
From: Benoit Daloze <benoit.daloze@oracle.com>
Date: Thu, 4 May 2023 15:08:50 +0200
Subject: [PATCH] Update overlay

---
 ci.jsonnet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci.jsonnet b/ci.jsonnet
index 225ccac676d9..fa83fbe3fdb7 100644
--- a/ci.jsonnet
+++ b/ci.jsonnet
@@ -10,7 +10,7 @@
 # https://github.com/google/jsonnet/releases and compiled.
 
 # CONFIGURATION
-local overlay = "5248a4efff6c845aa7b0d4efb920c22bef826e71";
+local overlay = "8fcbcd2506181e6bd020d113940b41897bd4a528";
 
 # For debugging: generated builds will be restricted to those listed in
 # the array. No restriction is applied when it is empty.