master 68efd23c: ; Fix version number in RELEASE file

branch: master commit 68efd23c8985fe1bd32f867916c7c8a66ff19743 Author: Mosè Giordano Commit: Mosè Giordano ; Fix version number in RELEASE file --- RELEASE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RELEASE b/RELEASE index d0ae6072..3c8a52f2 100644 --- a/RELEASE +++

release_13_3 8eda9fb7 1/2: ; make change-history-commit

tag: release_13_3 commit 8eda9fb72e093e59370d9e9e0afc89f296653bc6 Author: Mosè Giordano Commit: Mosè Giordano ; make change-history-commit --- ChangeLog.1 | 827 +++- 1 file changed, 826 insertions(+), 1 deletion(-) diff --git a/Chang

tag release_13_3 created (now 33439b0e)

giordano pushed a change to tag release_13_3. at 33439b0e (commit) This tag includes the following new commits: new 8eda9fb7 ; make change-history-commit new 33439b0e ; Release_13.3

release_13_3 33439b0e 2/2: ; Release_13.3

tag: release_13_3 commit 33439b0ef2fdffbc555384d3d5731c220e37242c Author: Mosè Giordano Commit: Mosè Giordano ; Release_13.3 --- ChangeLog-preview | 4 ChangeLog.1 | 4 2 files changed, 8 insertions(+) diff --git a/ChangeLog-preview b/ChangeLog-preview index 76c4d638..7c43a

master updated (d799eda3 -> 33439b0e)

giordano pushed a change to branch master. from d799eda3 ; Prepare for new release adds 8eda9fb7 ; make change-history-commit adds 33439b0e ; Release_13.3 No new revisions were added by this update. Summary of changes: ChangeLog-preview | 4 + ChangeLog.1 | 831 +

master d799eda3: ; Prepare for new release

branch: master commit d799eda3f2f72547948f74d16a5e3cff68478e2a Author: Mosè Giordano Commit: Mosè Giordano ; Prepare for new release --- RELEASE | 101 -- configure.ac | 4 +-- doc/changes.texi | 2 +- doc/tex-ref.tex