chiark / gitweb /
pop
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 9 Aug 2012 18:05:24 +0000 (19:05 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 9 Aug 2012 18:05:24 +0000 (19:05 +0100)
meta

diff --git a/meta b/meta
index d9ae781c083f8395593e9fb9ea9eae058d62f62f..155ad21233c8e16dc863fe8434a95690bed78854 100644 (file)
--- a/meta
+++ b/meta
@@ -1,6 +1,6 @@
 Version: 1
-Previous: 3a9826a7dff23dc33fa12d38021b1037ee610c75
-Head: edd3bb378915a4d3e17e3425db249807c73cc223
+Previous: 31d248be2af8ae7b38ebd906ee76199ac72007ce
+Head: 2b3d05b5970c73c0e075fceacfc1650acf0213ab
 Applied:
   marlin-pde-include-comment-for: 121f976406e6921f5b511f6dc4882985cf4b4133
   add-to-marlin-gitignore: 6a0fad50983c4fb5b60173ae96a6eb96ae9d4976