From 76d6b0b2b1f039549d308a0d2c478a6b05869af9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 24 Jul 2008 09:51:53 +0000
Subject: Merge changes from Version4Branch.

---
 AUTHORS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index a0877e36..6f52b959 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -13,9 +13,9 @@ Previous Authors:
    Thomas Kleymann   (lego, doc, generic)
    Patrick Loiseleur (coq)
    Dilip Sequeira    (lego)
+   David von Oheimb  (x-symbol)
 
 Assistance also from:
 
-   David von Oheimb  (x-symbol)
    Graham Dutton     (web support)
 
-- 
cgit v1.2.3