v6.1738.0
929e77bb · Feature: add timestamp information to text UIs (#241) ·