diff --git a/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_6_dd74b3b5a15b6b9f21f3835da134cd5a._comment b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_6_dd74b3b5a15b6b9f21f3835da134cd5a._comment
new file mode 100644
index 0000000000..a98c4ff2ee
--- /dev/null
+++ b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_6_dd74b3b5a15b6b9f21f3835da134cd5a._comment
@@ -0,0 +1,9 @@
+[[!comment format=mdwn
+ username="branchable@bafd175a4b99afd6ed72501042e364ebd3e0c45e"
+ nickname="branchable"
+ avatar="http://cdn.libravatar.org/avatar/ae41dba34ee6000056f00793c695be75"
+ subject="it's zsh"
+ date="2019-05-19T10:05:27Z"
+ content="""
+I figured it out - I changed my default shell to `zsh`, which doesn't read `.profile`.  IMHO the installation should also set up `.zprofile` in the same way.
+"""]]