Merge pull request #4 from wimh/PratialEq
authorRalf Jung <post@ralfj.de>
Sun, 4 Oct 2015 09:43:28 +0000 (11:43 +0200)
committerRalf Jung <post@ralfj.de>
Sun, 4 Oct 2015 09:43:28 +0000 (11:43 +0200)
fix typo PratialEq


Trivial merge