Added RELEASE file

This commit is contained in:
Leonardo Giordani 2020-11-23 16:41:47 +00:00
commit 418374faa0

3
RELEASE.md Normal file
View file

@ -0,0 +1,3 @@
Release type: patch
Fixes a mistake made in PR #2821