16834, “bradcray”, “DateTime.strftime ignoring ‘%f’ modifier”, “2020-12-08T22:55:17Z”
As reported on Discourse, our strftime() routine does not recognize "%f" even though our pointer to the Python documentation implies that it probably should. For example:
use DateTime;
var now = datetime.now();
writeln(now.strftime("%H:%M:%S.%f"));
writef("%06i\n",now.microsecond);
prints:
18:47:11.%f