Update version numbers for release

2020-07-26 13:34:46 -07:00
parent 88c11f68a2
commit 8e183c23e1
4 changed files with 5 additions and 5 deletions
--- a/documentation/release_notes.dox
+++ b/documentation/release_notes.dox
@ -1,7 +1,7 @@
 /** @page pvarelease_notes Release Notes

-Release 7.1.2 (XXX YYYY)
-========================
+Release 7.1.2 (July 2020)
+=========================

 - Changes
  - Destroyable::destroy() is optional