From 172ce2d7fd776429ce27736ae59f396eb27341a9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 27 Nov 2011 20:59:17 +0100
Subject: [PATCH] * AUTHORS: Add Thomas Badie.

---
 AUTHORS   | 1 +
 ChangeLog | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index fd758863f..200b8f297 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,6 +4,7 @@ Alexandre Duret-Lutz
 Denis Poitrenaud
 Rachid Rebiha
 Soheib Baarir
+Thomas Badie
 Thomas Martinez
 Damien Lefortier
 Guillaume Sadegh
diff --git a/ChangeLog b/ChangeLog
index 9eca0327a..c90a17576 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-11-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* AUTHORS: Add Thomas Badie.
+
 2011-05-07  Thomas Badie  <badie@lrde.epita.fr>
 
 	Add text I/O for Kripke structures.