SuccessChanges

Summary

  1. Reverted "Cleanup" commit causing failure on build server. (commit: dfa0abc) (details)
Commit dfa0abc7b067ef83da1577bfe4ca4f78bbb882ea by Victor Bandur
Reverted "Cleanup" commit causing failure on build server.
(commit: dfa0abc)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)