Markdown reader: Don't require blank line after grid table.

This fixes #6481, allowing grid tables to be enclosed in fenced divs with no intervening blank lines.
jgm · Jun 23, 2020 · ee782cc · ee782cc
1 parent 97ad964
commit ee782cc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Text/Pandoc/Parsing.hs b/src/Text/Pandoc/Parsing.hs
@@ -1092,8 +1092,8 @@ removeOneLeadingSpace xs =
            Just (c, _) -> c == ' '
 
 -- | Parse footer for a grid table.
-gridTableFooter :: Stream s m Char => ParserT s st m Text
-gridTableFooter = blanklines
+gridTableFooter :: Stream s m Char => ParserT s st m ()
+gridTableFooter = optional blanklines
 
 ---