From ff1c47982d841c3985acc1e274d47f7979697f3c Mon Sep 17 00:00:00 2001 From: Pieter Hulshoff Date: Wed, 1 Feb 2017 22:38:02 +0000 Subject: [PATCH] Close branch Release-0.7.20.