From: Siraaj Khandkar Date: Sun, 4 Oct 2015 16:43:18 +0000 (-0400) Subject: Upgrade proper to commit which fixes handling of user-defined types X-Git-Tag: 3.9.0~1 X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;ds=inline;h=61cace5b6adc4e9385cda749448b12c81951eef1;hp=61cace5b6adc4e9385cda749448b12c81951eef1;p=hope.git Upgrade proper to commit which fixes handling of user-defined types ---