Diff

configure @ 6366:8dee696c33cc 0.9.5

util.filters: Ignore filters being added twice (fixes issues on removal)
author Matthew Wild <mwild1@gmail.com>
date Thu, 28 Aug 2014 09:20:33 +0100
parent 5933:56b1f151f4a3
child 5935:a367bae38385
child 6574:cd0088c73daf
line wrap: on
line diff