Merge branch 'nunivalence'
authorAnders Mörtberg <andersmortberg@gmail.com>
Sat, 23 Jan 2016 17:40:21 +0000 (12:40 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Sat, 23 Jan 2016 17:40:21 +0000 (12:40 -0500)
commit812203ec9302e67a2879aea1e2b491555a8566ce
tree75079a2ff88dea12c670349428af50b9ff5268f5
parent2465e7623c102fe9f459df3348bc7f5018a44819
parent65b170d4c13c9d7dbb18b82b3946ce64dd28bcae
Merge branch 'nunivalence'