diff --git a/docs/_config.yml b/docs/_config.yml index c308c5c33d..eac27221ea 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -3,7 +3,7 @@ repository: pmd/pmd pmd: version: 6.12.0 previous_version: 6.11.0 - date: ??-February-2019 + date: 24-February-2019 release_type: minor output: web diff --git a/docs/pages/next_major_development.md b/docs/pages/next_major_development.md index 456e9fb1cb..5d9de8db58 100644 --- a/docs/pages/next_major_development.md +++ b/docs/pages/next_major_development.md @@ -73,6 +73,10 @@ the breaking API changes will be performed in 7.0.0. an API is tagged as `@Deprecated` or not in the latest minor release. During the development of 7.0.0, we may decide to remove some APIs that were not tagged as deprecated, though we'll try to avoid it." %} +#### 6.12.0 + +No changes. + #### 6.11.0 * {% jdoc core::lang.rule.stat.StatisticalRule %} and the related helper classes and base rule classes