manual: Bump date.
authorUwe Hermann <uwe@hermann-uwe.de>
Mon, 29 Oct 2018 10:26:51 +0000 (11:26 +0100)
committerUwe Hermann <uwe@hermann-uwe.de>
Mon, 29 Oct 2018 10:26:51 +0000 (11:26 +0100)

No differences found