4 commits

Author	SHA1	Message	Date
Andreas Rumpf	e24443f1bc	make monotimes have zero overhead if you don't use it (#13338) [backport]	2020-02-06 16:12:54 +01:00
Miran	352232e62d	style fix: change 'JS' to 'js' to make it consistent (#13168)	2020-01-16 14:14:03 +01:00
Oscar Nihlgård	3d0c756a3c	Fix JS bug in std/monotimes (#12499) [backport]	2019-10-24 11:24:26 +02:00
Oscar Nihlgård	fd24a8923e	[feature] Added std/monotimes	2019-07-12 10:15:06 +02:00