tree 2fc958af3c823994d706fa8f2871314655dc5a16
parent c4df8a4890a8665aa2ef87d59442c5eb46710a78
author Bruno Binet <bruno.binet@gmail.com> 1518448919 +0100
committer Bruno Binet <bruno.binet@gmail.com> 1518603026 +0100

Allow to edit a mirror when the filter has changed