diff --git a/lib/external/curl b/lib/external/curl index cd95ee9f7..c12fb3dda 160000 --- a/lib/external/curl +++ b/lib/external/curl @@ -1 +1 @@ -Subproject commit cd95ee9f771361acf241629d2fe5507e308082a2 +Subproject commit c12fb3ddaf48e709a7a4deaa55ec485e4df163ee diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 10a7c7873..3b851486f 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 10a7c78737088bc0b0632cc8fb7132d5be32c42d +Subproject commit 3b851486f2d05f5402244234922e1ce78eee8b8a