tree a58d211edbf8042d503867afd71e87373844d7f6
parent ff0c6668ffce94bc6c69b0f6a566a0a6e75c7ea7
parent 250ed7240527f8bf36d6f0f38cb34e10e2770f1d
author Patrick Williams <williamspatrick@gmail.com> 1422900231 -0600
committer Patrick Williams <williamspatrick@gmail.com> 1422900231 -0600

Merge pull request #48 from shenki/update-pore

Fixes for building on Ubuntu 14.10