Merge lima into master #677

Merged

zxq9 merged 3 commits from merge_lima into master 2019-11-27 18:50:29 +09:00

Conversation 3 Commits 3 Files Changed 3 +3 -3

3 Commits

Author	SHA1	Message	Date
Hans Svensson	2d49426fe0	Merge 'origin/lima' into master	2019-11-27 10:46:18 +01:00
Hans Svensson	6ca63e4b40	Merge pull request #184 from aeternity/GH-181-prepare-4.1.0 ... Bump version to 4.1.0	2019-11-26 09:02:56 +01:00
Ulf Norell	08b6148223	Bump version to 4.1.0	2019-11-26 09:02:26 +01:00