summaryrefslogtreecommitdiff
diff options
-rw-r--r--hstbm/ChangeLog8
-rw-r--r--hstbm/NEWS19
-rw-r--r--hstbm/src/.git_current_version.h2
3 files changed, 28 insertions, 1 deletions
diff --git a/hstbm/ChangeLog b/hstbm/ChangeLog
index 8287d42..05cd731 100644
--- a/hstbm/ChangeLog
+++ b/hstbm/ChangeLog
@@ -1,3 +1,11 @@
+2015-02-11 sur-behoffski <[email protected]>
+
+ Version 0.13
+ Corrected overenthusiastic .gitignore file that led to some
+ required files being omitted from repository control, which
+ in turn meant that the automated tarball generated by Savane
+ to go with each tag was incomplete.
+
2015-02-10 behoffski <[email protected]>
Version 0.12
diff --git a/hstbm/NEWS b/hstbm/NEWS
index cb046de..3c1f7e1 100644
--- a/hstbm/NEWS
+++ b/hstbm/NEWS
@@ -1,5 +1,24 @@
Hybrid Self-Tuning Boyer-Moore NEWS -*- outline -*-
+* Version 0.13, 11 February 2015
+
+** Hacks
+
+ Earlier releases (Savannah task submission) were based on a
+ private repository, and the tarball created via a release script
+ was intact. The tarball included a shiny new git repository.
+ However, a few files were included correctly in the tarball, but
+ an overenthusiastic .gitignore file meant that these files were
+ silently omitted from the Git repository... this omission exposed
+ when the repository was copied to the Savannah server with
+ "git push".
+
+ Having some essential files uncontrolled meant that Savannah's
+ "You tag it, I'll tarball it" feature resulted in an incomplete
+ set of sources. So, the extra rules have been removed from
+ .gitignore, the missing sources have been added, and a new version
+ has been created and tagged.
+
* Version 0.12, 10 February 2015
** Bug Fixes
diff --git a/hstbm/src/.git_current_version.h b/hstbm/src/.git_current_version.h
index a4fbf87..d364af3 100644
--- a/hstbm/src/.git_current_version.h
+++ b/hstbm/src/.git_current_version.h
@@ -24,4 +24,4 @@
Foundation, Inc.,
51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA */
-#define GIT_CURRENT_VERSION "0.12 [source state uncertain]"
+#define GIT_CURRENT_VERSION "0.13 [source state uncertain]"