branch: elpa/proof-general
commit e06a7704a53ee43c4695681c0e40edfdf9b1124d
Author: Erik Martin-Dorel <[email protected]>
Commit: Erik Martin-Dorel <[email protected]>

    docs(README.md): Add MELPA-Stable badge
---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 2ce6980b01..adaa6c997c 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,7 @@
 
 
[![CI](https://github.com/ProofGeneral/PG/workflows/CI/badge.svg?branch=master)](https://github.com/ProofGeneral/PG/actions?query=workflow%3ACI)
 
[![MELPA](https://melpa.org/packages/proof-general-badge.svg)](https://melpa.org/#/proof-general)
+[![MELPA 
Stable](https://stable.melpa.org/packages/proof-general-badge.svg)](https://stable.melpa.org/#/proof-general)
 
 ## Overview
 

Reply via email to