Release 5.10.1 (#1395)

This commit is contained in:
Rob Madole
2019-08-02 15:21:26 -05:00
committed by GitHub
parent c88a03c8ed
commit d02b4dd814
560 changed files with 11029 additions and 10201 deletions

View File

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