[ jEdit-commits ] [ jEdit core ] jEdit core branch master updated. 15debb1fa552ae0d33dad9bdd5da0c52

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "jEdit core".

The branch, master has been updated
       via  15debb1fa552ae0d33dad9bdd5da0c521a866e9c (commit)
      from  cc59e2ff1af05734ac0d9dfec96860296424dac1 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit: http://jedit.git.sourceforge.net/git/gitweb.cgi?p=jedit/jEdit;a=commit;h=15debb1fa552ae0d33dad9bdd5da0c521a866e9c
commitdiff: http://jedit.git.sourceforge.net/git/gitweb.cgi?p=jedit/jEdit;a=commitdiff;h=15debb1fa552ae0d33dad9bdd5da0c521a866e9c
tree: http://jedit.git.sourceforge.net/git/gitweb.cgi?p=jedit/jEdit;a=tree;h=15debb1fa552ae0d33dad9bdd5da0c521a866e9c;hb=15debb1fa552ae0d33dad9bdd5da0c521a866e9c

commit 15debb1fa552ae0d33dad9bdd5da0c521a866e9c
Author: Björn Kautler <Bj...@Ka...>
Date:   Fri Mar 14 20:04:34 2025 +0100

    foo

-----------------------------------------------------------------------

Summary of changes:


hooks/post-receive
-- 
jEdit core