[commits] [doc] backup-redmine/2017-07-13, master: doc: batmand/Coredump (a72f5528)