Bump version to 7.2.0

forki · forki · commit b4ce66f7ffb3 · 2022-11-18T19:07:19.000+01:00
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,4 +1,4 @@
-#### 7.2.0-alpha004 - 2022-11-18
+#### 7.2.0 - 2022-11-18
 * BUGFIX: Dependency manager looked up older tool version of paket - https://github.com/fsprojects/Paket/pull/4168
 
 #### 7.2.0-alpha003 - 2022-11-18

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#### 7.2.0-alpha004 - 2022-11-18`
	`1`	`+#### 7.2.0 - 2022-11-18`
`2`	`2`	`* BUGFIX: Dependency manager looked up older tool version of paket - https://github.com/fsprojects/Paket/pull/4168`
`3`	`3`
`4`	`4`	`#### 7.2.0-alpha003 - 2022-11-18`