Michael Hemmer eb51eb0487 Prevent dynamic binding of references to null pointers ... This is a manually-generated change. Ensure that behavior and style are preserved by carefully inspecting the diff.		2020-04-26 07:52:46 +02:00
..
CGAL	Prevent dynamic binding of references to null pointers	2020-04-26 07:52:46 +02:00