Issue 32: add ISO8601 timestamp to date display title attribute#894

WilliamZhang9 wants to merge 2 commits into

sourcebot-dev:mainsourcebot-dev/sourcebot:mainfrom

WilliamZhang9:u/williamzhang/issue_32_last_indexed_time_formatWilliamZhang9/sourcebot:u/williamzhang/issue_32_last_indexed_time_formatCopy head branch name to clipboard