# NOTE: If you change the format of this line, you must change the bash command
# in /scripts/publish to extract the version string correctly.
DF_VERSION = "1.2.5"

@@ -156,9 +156,9 @@
  %221.
-2.5
+3.0
 %22%0A

Increase df version to 1.3.0 (significant changes including duplicate-named tables, and Declarations). (#398)