Add some post-release bug fix patches

2017-10-03 22:47:46 +01:00
1 parent d39f0321d8
commit 1978d82cbf
@@ -0,0 +1,2 @@
+2017.13/lib-pull-Fix-regression-with-pull-local-for-nonexistent-r.patch
+2017.13/lib-repo-commit-Import-detached-metadata-even-if-hardlink.patch