From 2f90bcc8297aaebe0e3efcf56b75b7515380764c Mon Sep 17 00:00:00 2001
From: Julien Bernard <julien.bernard@univ-fcomte.fr>
Date: Sat, 22 Jul 2023 11:51:27 +0200
Subject: [PATCH] rename gamedev-framework into gf-gamedev-framework

The package can also be named gf and the split rule now renames it gf-gamedev-framework instead of simply gamedev-framework, creating two project pages. This rename merge the gamedev-framework package into gf-gamedev-framework.
---
 800.renames-and-merges/g.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/800.renames-and-merges/g.yaml b/800.renames-and-merges/g.yaml
index 577c1b298..ba45d2e0b 100644
--- a/800.renames-and-merges/g.yaml
+++ b/800.renames-and-merges/g.yaml
@@ -96,6 +96,7 @@
 - { setname: getmail,                  name: [getmail4,getmail6,"python:getmail","python:getmail6"] }
 - { setname: getopt,                   name: [gnugetopt,gnu-getopt,gnu.getopt] }
 - { setname: gexiv2,                   name: libgexiv2 }
+- { setname: gf-gamedev-framework,     name: gamedev-framework }
 - { setname: gfbgraph,                 name: libgfbgraph }
 - { setname: gfbgraph,                 namepat: "gfbgraph[0-9.-]+" }
 - { setname: gflags,                   name: [google-gflags,libgflags] }