mongodb/mongo — pull request #720 by amidvidy (2014-07-24 15:34:06+00:00)
Title: SERVER-11118 add dateToString aggregation operator

note that whitespace changes were OK'd by mathias