From 4ce06114d78805a76f097168d749b6f7a324647f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 20 Mar 2011 13:11:09 +0100 Subject: [PATCH] * THANKS: Add Michael Weber for his help on the DiVinE interface. --- ChangeLog | 5 ++++- THANKS | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 5e70704bd..ab4def404 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-03-20 Alexandre Duret-Lutz + + * THANKS: Add Michael Weber for his help on the DiVinE interface. + 2011-03-18 Alexandre Duret-Lutz * src/ltltest/genltl.cc (syntax): Typos in the help text. @@ -80,7 +84,6 @@ * iface/dve2/README: New file. * NEWS: Mention it. - * THANKS: Add Michael Weber. 2011-03-06 Alexandre Duret-Lutz diff --git a/THANKS b/THANKS index ddcbe09f8..7c39bb65b 100644 --- a/THANKS +++ b/THANKS @@ -5,6 +5,7 @@ Heikki Tauriainen Jean-Michel Couvreur Jean-Michel Ilié Kristin Y. Rozier +Michael Weber Rüdiger Ehlers Silien Hong Yann Thierry-Mieg