]> git.ralfj.de Git - web.git/commitdiff
more clearly mark the original post as historic
authorRalf Jung <post@ralfj.de>
Wed, 1 May 2019 10:14:08 +0000 (12:14 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 1 May 2019 10:14:08 +0000 (12:14 +0200)

No differences found