Release 5.11.2 (#1440)

This commit is contained in:
Rob Madole
2019-09-23 13:55:12 -05:00
committed by GitHub
parent 49229ba0bb
commit b0c7df5337
228 changed files with 681 additions and 454 deletions

View File

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