tree f0be170fd6101942f396cf6c7c1bf9245ded311b
parent 2d5b0286ba0b7bd2f946c6abd21fc9f637cbdd86
author Akron <nils@diewald-online.de> 1751621995 +0200
committer Akron <nils@diewald-online.de> 1753275351 +0200

Improve representation of timed-out values (improve #257)

Change-Id: I2179b58ee62debcc541a80e5eac3443ad9ff11b9