From 441b6d68c26deb3390c8887d0f995f389046cbb4 Mon Sep 17 00:00:00 2001 From: Matt Rogers Date: Thu, 10 Oct 2013 20:48:25 -0500 Subject: [PATCH] Update history to reflect merge of #1615 --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 9013c807..8493b56f 100644 --- a/History.markdown +++ b/History.markdown @@ -26,6 +26,7 @@ * Print server address when launching a server (#1586) * Downgrade to Maruku `~> 0.6.0` in order to avoid changes in rendering (#1598) * Fix error with failing include tag when variable was file name (#1613) + * Downcase lexers before passing them to pygments (#1615) ### Development Fixes * Add coverage reporting with Coveralls (#1539)