From 511375feb5fad06555aaabb617e6eef6a805ade5 Mon Sep 17 00:00:00 2001 From: WerWolv Date: Thu, 18 May 2023 09:51:24 +0200 Subject: [PATCH] patterns: Updated pattern language --- lib/external/pattern_language | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 7e9814c58..5208a472e 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 7e9814c58c3d6addf93b0d2df47104aad654b957 +Subproject commit 5208a472ec7aa18dd3795d5a7c96f6b8de1d9dd3