5 Commits

Author	SHA1	Message	Date
Christian Grothoff	7f79310aa1	fix #3728	2015-03-24 12:00:40 +01:00
Christian Grothoff	373fe1c138	avoid cast	2015-03-24 00:03:03 +01:00
Christian Grothoff	abc63eda98	avoid cast	2015-03-24 00:01:33 +01:00
Christian Grothoff	f73071bc62	fix #3638	2015-03-22 22:14:30 +01:00
Christian Grothoff	b1133719bb	forgot to add file earlier	2015-03-22 14:24:52 +01:00