From de5fb804783c7306581fca4b929c9b73201f1f78 Mon Sep 17 00:00:00 2001
From: Joas Schilling <coding@schilljs.com>
Date: Wed, 18 Jan 2023 07:14:34 +0100
Subject: chore: drop dependency php-ds

The dependency is not used.

Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Signed-off-by: Joas Schilling <coding@schilljs.com>
---
 3rdparty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/3rdparty b/3rdparty
index 07227c18b94..299e51ccbb8 160000
--- a/3rdparty
+++ b/3rdparty
@@ -1 +1 @@
-Subproject commit 07227c18b941482ef691ee7e38529faba97014f5
+Subproject commit 299e51ccbb82251452de18d52a9b4b7e8207eb82
-- 
cgit v1.2.3