Merge branch 'master' into auction_brandt

2022-10-04 21:42:21 +02:00 · 2022-10-04 21:42:21 +02:00 · 477d009cb0
commit 477d009cb0
parent 0a089db4ef 787b5b4544
1 changed files with 1 additions and 1 deletions
--- a/src/exchangedb/procedures.sql
+++ b/src/exchangedb/procedures.sql
@ -2198,7 +2198,7 @@ BEGIN

 -- FIXME: implement!

-END $$
+END $$;


 COMMIT;