sunjunyong Thu, 12 Nov 2020 18:39:23 -0800
Hi greg: > The call to flush makes it obvious, no need to keep it. And we have git > history for people to look at if they are curious about past versions. you are right. I would remove it in next version.
Any other suggestions ? thanks! JY.
