0000000000000000000000000000000000000000 d9513c2b9033747c3d3b216d69d3483ac3a41077 Hans-Dieter Hiep <hdh@cwi.nl> 1568719822 +0200	branch: Created from master
d9513c2b9033747c3d3b216d69d3483ac3a41077 e73561a2a0074359047facae53ac835a72288175 Hans-Dieter Hiep <hdh@cwi.nl> 1568719866 +0200	commit: Make Object.equals strictly pure
e73561a2a0074359047facae53ac835a72288175 ec588d11c0fdeb73dfcff0214cca507a99d6ee16 Hans-Dieter Hiep <hdh@cwi.nl> 1569230485 +0200	commit: WIP
