fix subtyping typo
authorRalf Jung <post@ralfj.de>
Sun, 4 Feb 2018 09:22:03 +0000 (10:22 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 4 Feb 2018 09:22:03 +0000 (10:22 +0100)

No differences found