3 commits

Author	SHA1	Message	Date
Andreas Rumpf	3ba3307d61	remove deprecated procs (#12535)	2019-11-05 11:05:46 +01:00
Zahary Karadjov	92ee2ee4ce	close #4524	2017-06-20 11:29:42 +02:00
Zahary Karadjov	ba61e7e3ac	fix #2730; fix #4880	2017-06-20 11:29:42 +02:00