Markus Blatt 7d97ef7e4a Make wells_equal work for only one null pointer.

2016-06-27 13:29:44 +02:00

..

core

Make wells_equal work for only one null pointer.

2016-06-27 13:29:44 +02:00