From eda74ccd113842aa606b621e2e154e5879c73415 Mon Sep 17 00:00:00 2001 From: Zuul Date: Mon, 11 Sep 2023 08:49:57 +0000 Subject: [PATCH] Update git submodules * Update cliff from branch 'master' to a9072007685734d78ead96fa72ac81e1136980c4 - Merge "Clarification of the algorithm used" - Clarification of the algorithm used Link was pointing to a wrong wikipedia page, we are using Damerau-Levenshtein metric, which allows for additional "swap" operation. A subtle but important distinction. Signed-off-by: Jiri Podivin Change-Id: I6cc2499c371b86aaf6636d7a46416bc947c11bb2 --- cliff | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cliff b/cliff index 6096869f70..a907200768 160000 --- a/cliff +++ b/cliff @@ -1 +1 @@ -Subproject commit 6096869f7060bf74586b4f491affd3dea6630a8b +Subproject commit a9072007685734d78ead96fa72ac81e1136980c4