On Thu, Jun 25, 2015 at 10:17 PM, Robin Sommer <robin at icir.org> wrote: > > > On Thu, Jun 25, 2015 at 08:10 -0400, you wrote: > >> Ah, great! I’ll file a ticket. I skimmed these patches and seem >> fairly unintrusive to the build system. Awesome! Thanks, Cody