timing-diagrams version 49848df99a682363391ca8effe072280d9f2dd84. Commited on Wed Aug 21 14:29:45 2013 +0200.