Release 5.13.1 (#1514)

This commit is contained in:
Rob Madole
2020-06-18 15:48:42 -05:00
committed by GitHub
parent 8c120e016a
commit 3db416026d
232 changed files with 1416 additions and 356 deletions

View File

@@ -1089,7 +1089,7 @@
mark: noop$1,
measure: noop$1
};
var preamble = "FA \"5.13.0\"";
var preamble = "FA \"5.13.1\"";
var begin = function begin(name) {
p.mark("".concat(preamble, " ").concat(name, " begins"));