master updated (191db684 -> bd2c1c67)

2023-04-23 Thread Mosè Giordano
giordano pushed a change to branch master. from 191db684 Improve style/enumitem.el adds ec742f33 ; Prepare for new release adds b49bb229 ; make change-history-commit adds bd2c1c67 ; Release_13.2 No new revisions were added by this update. Summary of changes:

tag release_13_2 created (now bd2c1c67)

2023-04-23 Thread Mosè Giordano
giordano pushed a change to tag release_13_2. at bd2c1c67 (commit) This tag includes the following new commits: new ec742f33 ; Prepare for new release new b49bb229 ; make change-history-commit new bd2c1c67 ; Release_13.2

release_13_2 ec742f33 1/3: ; Prepare for new release

2023-04-23 Thread Mosè Giordano
tag: release_13_2 commit ec742f33320928680dfb3b287add4d511a69f4d4 Author: Mosè Giordano Commit: Mosè Giordano ; Prepare for new release --- RELEASE | 224 +- admin/release-process.org | 11 ++- configure.ac | 4

release_13_2 bd2c1c67 3/3: ; Release_13.2

2023-04-23 Thread Mosè Giordano
tag: release_13_2 commit bd2c1c676b9a37d42db85a9514498750c23b3d08 Author: Mosè Giordano Commit: Mosè Giordano ; Release_13.2 --- ChangeLog-preview | 4 ChangeLog.1 | 4 2 files changed, 8 insertions(+) diff --git a/ChangeLog-preview b/ChangeLog-preview index

release_13_2 b49bb229 2/3: ; make change-history-commit

2023-04-23 Thread Mosè Giordano
tag: release_13_2 commit b49bb2292912b81b6603a419449c73f91a0084cf Author: Mosè Giordano Commit: Mosè Giordano ; make change-history-commit --- ChangeLog.1 | 2618 ++- 1 file changed, 2617 insertions(+), 1 deletion(-) diff --git