Merge PrelRules refactoring (#7014)
authorPaolo Capriotti <p.capriotti@gmail.com>
Thu, 26 Jul 2012 20:50:56 +0000 (21:50 +0100)
committerPaolo Capriotti <p.capriotti@gmail.com>
Thu, 26 Jul 2012 20:50:59 +0000 (21:50 +0100)

Trivial merge