tree b3d8ee77ae2b790f8b3755eead456d030aabf3d6
parent 823615d2050b9a7a1ee3d80ba08114a7e87427ab
author Craig Stout <cstout@google.com> 1567119991 -0700
committer Craig Stout <cstout@google.com> 1567119991 -0700

Remove old magma extension

Change-Id: I1ac98f39f21d95cc22c0d946b1841e98aa6a4915