Merge pull request #8 from mbarbin/fix-binding-renaming

Fix binding renaming
mbarbin · Aug 19, 2024 · b3164ad · b3164ad
2 parents 54bcba1 + 2c64648
commit b3164ad
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,9 @@
+## 0.0.8 (2024-08-19)
+
+### Fixed
+
+- Follow-up fixes to binding renaming.
+
 ## 0.0.7 (2024-08-05)
 
 ### Added

diff --git a/README.md b/README.md
@@ -2,6 +2,7 @@
 
 [![CI Status](https://github.com/mbarbin/provider/workflows/ci/badge.svg)](https://github.com/mbarbin/provider/actions/workflows/ci.yml)
 [![Coverage Status](https://coveralls.io/repos/github/mbarbin/provider/badge.svg?branch=main)](https://coveralls.io/github/mbarbin/provider?branch=main)
+[![Deploy Doc Status](https://github.com/mbarbin/provider/workflows/deploy-doc/badge.svg)](https://github.com/mbarbin/provider/actions/workflows/deploy-doc.yml)
 
 ## Introduction
 

diff --git a/src/provider.mli b/src/provider.mli
@@ -1,6 +1,6 @@
 (** Provider - Dynamic Dispatch with Traits.
 
-    A "provider" is a construct that implements a set of functionality that an
+    A provider is a construct that implements a set of functionality that a
     library typically needs in order to provide certain functionality to a
     end user.