Merge pull request #30 from dhendriks/29-release-v3-0-0

#29 Prepare for release 3.0.0.

Author: dhendriks

CHANGES.md

@@ -2,7 +2,7 @@
 
 All notable changes to this project will be documented in this file.
 
-## [2.0.1] - unreleased
+## [3.0.0] - 2022-04-27
 
 * Improved license headers, and related changes.
 * Completely reworked the statistics callbacks API.

META-INF/MANIFEST.MF

@@ -2,7 +2,8 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: JavaBDD
 Bundle-SymbolicName: com.github.javabdd
-Bundle-Version: 2.0.1.qualifier
+Bundle-Version: 3.0.0.qualifier
 Export-Package: com.github.javabdd
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Automatic-Module-Name: com.github.javabdd
+Bundle-Vendor: com-github-javabdd