[commits] [doc] backup-redmine/2020-07-12,master: doc: batmand/Coredump (e262b20)