Fri, 30 Nov 2018 12:56:42 +0100 |
Magnus Schieder |
Merge
3.2
|
Fri, 30 Nov 2018 12:51:34 +0100 |
Magnus Schieder |
Added tag 3.2 for changeset e30fef63f1ed
|
Fri, 30 Nov 2018 12:50:00 +0100 |
Magnus Schieder |
Merge
|
Fri, 30 Nov 2018 12:44:01 +0100 |
Magnus Schieder |
Update version
|
Fri, 30 Nov 2018 12:42:16 +0100 |
Magnus Schieder |
Added tag 3.2 for changeset f8099adc30f2
|
Mon, 19 Nov 2018 11:24:11 +0100 |
Bernhard Reiter |
CHANGES: Improve phrasing for human_time() fix.
|
Tue, 06 Nov 2018 13:19:06 +0100 |
Magnus Schieder |
Update TODO and CHANGES.
|