From d682b3c9ec79b14497eb7736881561255fd5cf00 Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Fri, 13 Nov 2015 15:19:07 -0200
Subject: [PATCH] added separator for bugs in 5.3.1

---
 bugs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bugs b/bugs
index db1d7e25..b58e1e53 100644
--- a/bugs
+++ b/bugs
@@ -3458,6 +3458,10 @@ patch = [[
 }
 
 
+
+-----------------------------------------------------------------
+-- Lua 5.3.1
+
 Bug{
 what = [['io.lines' does not check maximum number of options]],
 report = [[Patrick Donnell, 2015/07/10]],