From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sat, 5 Sep 2015 23:39:31 +0000 (-0700)
Subject: Abbreviate proper_types module.
X-Git-Tag: 3.8.0~6
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=ea7f00f1c137112f5def73f54244f79c7336363a;hp=ea7f00f1c137112f5def73f54244f79c7336363a;p=hope.git

Abbreviate proper_types module.
---