[commits] [doc] backup-redmine/2019-09-17, master: doc: batman-adv/RIP (c6762f8)