From f8b06eef0d3e1b6c33c720b40232d4c3d2647d48 Mon Sep 17 00:00:00 2001
From: moonman <moonman.ca@gmail.com>
Date: Sun, 17 Nov 2013 00:38:59 -0700
Subject: [PATCH] core/linux-raspberrypi to 3.10.19

---
 core/linux-raspberrypi/PKGBUILD | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/linux-raspberrypi/PKGBUILD b/core/linux-raspberrypi/PKGBUILD
index b4673656d..aa5a2aff4 100644
--- a/core/linux-raspberrypi/PKGBUILD
+++ b/core/linux-raspberrypi/PKGBUILD
@@ -8,7 +8,7 @@ pkgname=('linux-raspberrypi' 'linux-headers-raspberrypi')
 # pkgname=linux-custom       # Build kernel with a different name
 _kernelname=${pkgname#linux}
 _basekernel=3.10
-pkgver=${_basekernel}.18
+pkgver=${_basekernel}.19
 pkgrel=1
 
 arch=('arm armv6h')