4 Commits

Author	SHA1	Message	Date
Ines Montani	073013f129	Auto-format [ci skip]	2019-07-17 12:34:13 +02:00
svlandeg	349107daa3	cleanup	2019-07-11 13:09:22 +02:00
svlandeg	e080412385	tracked the bug down to PreshCounter.inc - still unclear what goes wrong	2019-07-11 01:53:06 +02:00
svlandeg	a89fecce97	failing unit test for issue #3869	2019-07-11 00:43:55 +02:00