Add Boogie to changelog

2 files changed, 2 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index 095a56f7..8dadcf79 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -59,6 +59,7 @@ Other contributors, listed alphabetically, are:
 * Patrick Gotthardt -- PHP namespaces support
 * Olivier Guibe -- Asymptote lexer
 * Jordi Gutiérrez Hermoso -- Octave lexer
+* Florian Hahn -- Boogie lexer
 * Martin Harriman -- SNOBOL lexer
 * Matthew Harrison -- SVG formatter
 * Steven Hazel -- Tcl lexer
diff --git a/CHANGES b/CHANGES
index d38ca2f0..64c2a580 100644
--- a/CHANGES
+++ b/CHANGES
@@ -21,6 +21,7 @@ Version 2.1
   * Terraform (PR#432)
   * Jcl, Easytrieve (PR#208)
   * ParaSail (PR#381)
+  * Boogie (PR#420)
 
 - Added styles: