On Tue, Mar 19, 2019 at 05:05:33PM +0530, sundar bp wrote: > "did you install it from Google Play" > : Yes
OK, that is the easiest and safest. And it worked before, and no longer works now (even after you re-installed)? Very strange ... ☺/ A!ex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
