Drop unused Server::m_ignore_map_edit_events_peer_id
authorLoic Blot <loic.blot@unix-experience.fr>
Thu, 8 Mar 2018 22:47:46 +0000 (23:47 +0100)
committerLoïc Blot <nerzhul@users.noreply.github.com>
Fri, 9 Mar 2018 22:27:26 +0000 (23:27 +0100)
commitdef46c6cdb73c98b6bc73d5a4655b95e8442ce2f
tree202223b89e269c36f0b134c7c6f0415dc0cfa092
parentbcdb3d56c0c3e19ebe1437f345b425fdc20f3926
Drop unused Server::m_ignore_map_edit_events_peer_id
src/server.h