4 Commits

Author	SHA1	Message	Date
Christian Grothoff	e3a0df0246	Changelog	2016-06-07 19:27:51 +02:00
Christian Grothoff	0fef44159a	improve error message to diagnose #4559	2016-06-05 22:03:09 +02:00
Christian Grothoff	458992dc6f	fixes for disting	2016-05-04 10:21:35 +02:00
Christian Grothoff	57d1f08dbc	-initial import for mint	2015-01-08 18:37:20 +01:00