Switch from old hashtable API to new API#41

fingolfin merged 1 commit into

gap-packages:mastergap-packages/FinInG:masterfrom

fingolfin:mh/hashtable-APIfingolfin/FinInG:mh/hashtable-APICopy head branch name to clipboard