[How can I contribute?] Rename page (for compatiblity)

LogMANOriginal 2016-08-13 21:27:18 +02:00
parent 9b179813e7
commit 421eda8f52