[commits] [doc] backup-redmine/2017-07-13, master: doc: batman-adv/Release-todo: Reset release todo (5e16dd14)