Merge branch 'bugfix/16451-fuzzy-ublock-patch' into devel (Fix-committed: #16451)
commit256c638c6d7bc564e52d42040dcbaf662ec1f1f7
authorintrigeri <intrigeri@boum.org>
Sat, 9 Feb 2019 09:01:13 +0000 (9 09:01 +0000)
committerintrigeri <intrigeri@boum.org>
Sat, 9 Feb 2019 09:01:13 +0000 (9 09:01 +0000)
tree2d9671116b781a17a59fa02c42c1f6d751f75eea
parentf17a48094531706b0f920dc44666e66d7f260ca0
parent5bdc603116b1ee893d21a803f26d0463cfc6c591
Merge branch 'bugfix/16451-fuzzy-ublock-patch' into devel (Fix-committed: #16451)