diff -r lua-5.3.0/Makefile lua-5.3.1/Makefile 49c49 < R= $V.0 --- > R= $V.1 diff -r lua-5.3.0/README lua-5.3.1/README 2c2 < This is Lua 5.3.0, released on 06 Jan 2015. --- > This is Lua 5.3.1, released on 10 Jun 2015. diff -r lua-5.3.0/doc/contents.html lua-5.3.1/doc/contents.html 5a6 > 7,12d7 < 17d11 <
19c13 < --- > Lua 24a19 >
28c23 <

--- >

> >

42c41 <