From e5e47b8f7d1abbe420fac9f378684723518f5f4a Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Thu, 14 Jan 2021 16:12:57 +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 600d38b..d2df318 100644
--- a/package.xml
+++ b/package.xml
@@ -54,7 +54,7 @@ http://pear.php.net/dtd/package-2.0.xsd">
     <file role="src" name="php_raphf_api.c"/>
    </dir>
    <dir name="scripts">
-    <file role="src" name="gen_travis_yml.php"/>
+    <file role="src" name="gen_github_workflow_ci.php"/>
    </dir>
    <dir name="tests">
     <file role="test" name="http001.phpt" />
-- 
2.30.2