Release 5.9.0 (#1372)

This commit is contained in:
Rob Madole
2019-06-04 16:15:46 -05:00
committed by GitHub
parent ebdb8df95b
commit 3925730b84
1703 changed files with 37234 additions and 5529 deletions

View File

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