From a48204b0f0dc496c52364ba02b9068578b9694cf Mon Sep 17 00:00:00 2001
From: Michael Witten <mfwitten@gmail.com>
Date: Thu, 25 Aug 2011 18:20:54 +0000
Subject: [PATCH] --- yaml --- r: 275189 b: refs/heads/master c:
 02391f1fe7b4e5434e4c558dcae99b9368c84bf3 h: refs/heads/master i:   275187:
 3f569fc7d38be899d1e78737f11a7b18e167524d v: v3

---
 [refs]                               | 2 +-
 trunk/Documentation/DocBook/drm.tmpl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/[refs] b/[refs]
index ce0c3ccf3f05..aecb317105ae 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 2c267e9e016da3e19a95261875a5f3b19dd6e9f6
+refs/heads/master: 02391f1fe7b4e5434e4c558dcae99b9368c84bf3
diff --git a/trunk/Documentation/DocBook/drm.tmpl b/trunk/Documentation/DocBook/drm.tmpl
index aa13e0883510..5b815b83c30b 100644
--- a/trunk/Documentation/DocBook/drm.tmpl
+++ b/trunk/Documentation/DocBook/drm.tmpl
@@ -203,7 +203,7 @@
 	<term>DRIVER_HAVE_IRQ</term><term>DRIVER_IRQ_SHARED</term>
 	<listitem>
 	  <para>
-	    DRIVER_HAVE_IRQ indicates whether the driver has a IRQ
+	    DRIVER_HAVE_IRQ indicates whether the driver has an IRQ
 	    handler, DRIVER_IRQ_SHARED indicates whether the device &amp;
 	    handler support shared IRQs (note that this is required of
 	    PCI drivers).