[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/opam-switch-mode updated (55d1add5f7 -> 115d2e4be3)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/opam-switch-mode updated (55d1add5f7 -> 115d2e4be3) |
Date: |
Tue, 11 Jul 2023 10:00:34 -0400 (EDT) |
elpasync pushed a change to branch elpa/opam-switch-mode.
from 55d1add5f7 Merge pull request #14 from ProofGeneral/improve
new 633ab20105 feat(opam-switch--setup-opam-switch-mode): Change
mode-bar's title
new 3867447130 feat: Extend release.sh to handle NEWS.md updates
new 459c0a0f9d chore: Release 1.2
new 115d2e4be3 chore: Prepare next dev cycle
Summary of changes:
NEWS.md | 15 +++++++++++++-
opam-switch-mode.el | 8 +++++---
release.sh | 59 +++++++++++++++++++++++++++++++++++++++++++++++++----
3 files changed, 74 insertions(+), 8 deletions(-)
- [nongnu] elpa/opam-switch-mode updated (55d1add5f7 -> 115d2e4be3),
ELPA Syncer <=