From 8ee6bd6586270c9a0a6749d089414f28e35d22f3 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Wed, 13 Jan 2021 11:54:56 +0100
Subject: [PATCH] fix package.xml

---
 package.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.xml b/package.xml
index 866ba0c..f9c0a93 100644
--- a/package.xml
+++ b/package.xml
@@ -378,7 +378,7 @@ https://mdref.m6w6.name/http
     <file role="src" name="check_package-xml.php"/>
     <file role="src" name="gen_curlinfo.php"/>
     <file role="src" name="gen_stubs.php"/>
-    <file role="src" name="gen_travis_yml.php"/>
+    <file role="src" name="gen_github_workflow_ci.php"/>
     <file role="src" name="gen_utf8.php"/>
    </dir>
   </dir>
-- 
2.30.2