firedrakeproject/firedrake — pull request #389 by mlange05 (2014-11-04 09:59:15+00:00)
Title: Plex: Fix memory allocation in DMPlex interfaces

This adresses issue #388 by correcting memory (de)allocation in the DMPlex interface.