Ronny Pfannschmidt 181bd60bf9 Merge pull request #2742 from nicoddemus/resultlog-deprecation ... Improve user guidance regarding ``--resultlog`` deprecation		2017-09-01 08:29:41 +02:00
..
en	Merge pull request #2742 from nicoddemus/resultlog-deprecation	2017-09-01 08:29:41 +02:00