[exchange] branch master updated: drop IF EXISTS

[Admin]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository exchange.

The following commit(s) were added to refs/heads/master by this push:
     new 2211fcb2d drop IF EXISTS
2211fcb2d is described below

commit 2211fcb2dd1362891d41949ac0ddaa3444248002
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Tue Jun 3 18:24:13 2025 +0200

    drop IF EXISTS
---
 src/exchangedb/exchange_do_recoup_to_coin.sql | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/exchangedb/exchange_do_recoup_to_coin.sql 
b/src/exchangedb/exchange_do_recoup_to_coin.sql
index 740cb00ab..31e2e0aa5 100644
--- a/src/exchangedb/exchange_do_recoup_to_coin.sql
+++ b/src/exchangedb/exchange_do_recoup_to_coin.sql
@@ -14,7 +14,7 @@
 -- TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 --
 
-DROP FUNCTION exchange_do_recoup_to_coin;
+DROP FUNCTION IF EXISTS exchange_do_recoup_to_coin;
 CREATE FUNCTION exchange_do_recoup_to_coin(
   IN in_old_coin_pub BYTEA,
   IN in_refresh_id INT8,

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.