Example showing how to use set_time().

shortlog@12113f70aa84: not found in manifest