From 331872275326e8ba0b6a639bcb11ac6e049758d4 Mon Sep 17 00:00:00 2001 From: "Olivier Wilkinson (reivilibre)" Date: Wed, 6 Dec 2023 15:17:55 +0000 Subject: [PATCH] Update comment on `merged` --- docker/configure_workers_and_start.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docker/configure_workers_and_start.py b/docker/configure_workers_and_start.py index ba47a57964..90ce377d0d 100755 --- a/docker/configure_workers_and_start.py +++ b/docker/configure_workers_and_start.py @@ -358,7 +358,8 @@ def merge_into(dest: Any, new: Any) -> None: def merged(a: Dict[str, Any], b: Dict[str, Any]) -> Dict[str, Any]: """ - Merges `b` into `a` and returns `a`. + Merges `b` into `a` and returns `a`. Here because we can't use `merge_into` + in a lamba conveniently. """ merge_into(a, b) return a