Thanks! $ git pull http://people.debian.org/~sthibault/tmp/mariadb-10.0 >From http://people.debian.org/~sthibault/tmp/mariadb-10.0 * branch HEAD -> FETCH_HEAD Updating 2b8bea6..4dcdd0e Fast-forward debian/changelog | 5 +++++ debian/patches/hurd_socket.patch | 17 +++++++++++++++++ debian/patches/series | 1 + debian/rules | 4 ++-- 4 files changed, 25 insertions(+), 2 deletions(-) create mode 100644 debian/patches/hurd_socket.patch
PS. We use git-dch -a to populate the changelog automatically from git commit messages, so the patch would have been OK also without the changelog entries.
