Merge pull request #375 from raphink/dev/facts_perfs
authorDaniele Sluijters <daenney@users.noreply.github.com>
Thu, 16 Oct 2014 08:07:25 +0000 (10:07 +0200)
committerDaniele Sluijters <daenney@users.noreply.github.com>
Thu, 16 Oct 2014 08:07:25 +0000 (10:07 +0200)
commit5d96da0c6aac8f0f9192fe6ce63548bdaee149b5
tree0f44551414a7222b7541939447a9d71e48e0cc09
parentbe3abffb0eaee90407661ad8b91fc9bf80f8b9da
parentd090ae4ebb9041bc46e161f698732a6bc9d28399
Merge pull request #375 from raphink/dev/facts_perfs

Refactor facts to improve performance.