commit 9e09cac0c5fe72978637b1c13c4ce44c5a8a40a2
author Gary Gregory <garydgregory@users.noreply.github.com> Sat Aug 13 14:07:41 2022 -0400
committer GitHub <noreply@github.com> Sat Aug 13 14:07:41 2022 -0400
tree d655c53f62c18aec78c8fedcd8034e9213be6ce3
parent 16b89fd20d6050cd0cbf93366d7c14360569847a

Close resources #138.

src/changes/changes.xml

diff --git a/src/changes/changes.xml b/src/changes/changes.xml
index 0df3c52..9009c41 100644
--- a/src/changes/changes.xml
+++ b/src/changes/changes.xml
@@ -84,6 +84,7 @@
       <action issue="BCEL-312" type="fix" dev="ggregory" due-to="Mark Roberts, Gary Gregory">Several fixes to the verifier #117.</action>

       <action issue="BCEL-313" type="fix" dev="ggregory" due-to="Mark Roberts, Gary Gregory">Several fixes to the verifier #117.</action>

       <action issue="BCEL-337" type="fix" dev="ggregory" due-to="Mark Roberts, Gary Gregory">Several fixes to the verifier #117.</action>

+      <action                  type="fix" dev="ggregory" due-to="Michael Ernst, Gary Gregory">Close resources #138.</action>

       <!-- ADD -->

       <action                  type="fix" dev="ggregory">Add github/codeql-action.</action>

       <!-- UPDATES -->