[Jenkins]Jenkins

SuccessChanges

Summary

  1. -  Migration from GLib complete. -  Tests pass for new hash table (commit: 7792044) (details)
Commit 779204414d1ad2f48f7a01ad03694468f2d717ce by Victor Bandur
-  Migration from GLib complete. -  Tests pass for new hash table
implementation. -  Not yet tested with old GLib implementation ifdeffed
in.
	modified:   vdmclib/src/VdmMap.c
 (commit: 7792044)
The file was modifiedc/vdmclib/src/VdmMap.c (diff)