IRC log for #evergreen, 2018-12-30

All times shown according to the server's local time.

Time	Nick	Message
04:04		beanjammin joined #evergreen
13:29		beanjammin joined #evergreen
15:34		beanjammin joined #evergreen
17:45	dbs	@later tell krvmga it's possible to have the pretty quotes indexed & searched as regular single quotes; might be better than telling every iOS user to turn off smart quotes
17:45	pinesol	dbs: The operation succeeded.