diff -r 62fd8eaeab01 -r 14ddc993f30b docs/HISTORY.txt --- a/docs/HISTORY.txt Fri Nov 16 15:35:49 2018 +0100 +++ b/docs/HISTORY.txt Fri Dec 28 11:09:16 2018 +0100 @@ -1,6 +1,10 @@ History ======= +0.1.12.1 +-------- + - updated translations + 0.1.12 ------ - check if port is already used before starting scheduler process to avoid zombies processes