diff --git a/pkg/pkgbuild.status b/pkg/pkgbuild.status
index 04472f6..e6519ea 100644
--- a/pkg/pkgbuild.status
+++ b/pkg/pkgbuild.status
@@ -15,8 +15,13 @@
 pkg/args: PubGetError
 pkg/browser: PubGetError
 
+# These samples were patched to work with polymer-0.10.0-pre.7, but that version
+# of polymer was not merged in trunk:
+samples/polymer_intl: Fail
+samples/searchable_list: Fail
+samples/third_party/todomvc: Fail
+
 [ $use_public_packages ]
-samples/third_party/todomvc: Fail # Issue 17324
 pkg/polymer: Fail # observe with analyzer 0.13.0 has not been published yet.
 
 [ $builder_tag == russian ]
diff --git a/tools/VERSION b/tools/VERSION
index 773efad..d68f855 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 3
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 12
+PRERELEASE_PATCH 13