chiark / gitweb /
Merge pull request #56 from AaronWebster/patch-1
authorSteven G. Johnson <stevenj@mit.edu>
Fri, 29 Jan 2016 18:56:58 +0000 (13:56 -0500)
committerSteven G. Johnson <stevenj@mit.edu>
Fri, 29 Jan 2016 18:56:58 +0000 (13:56 -0500)
Fixes memory leak in auglag/auglag.c


Trivial merge