Andreas Hocevar b66c0941f5 Merge pull request #7563 from ahocevar/declutter-box-precision ...

Use full precision for the declutter box

2017-12-11 10:51:31 +01:00

..

ol

Merge pull request #7563 from ahocevar/declutter-box-precision

2017-12-11 10:51:31 +01:00