On Thu, Mar 21, 2019 at 5:01 PM Eliot Miranda <eliot.miranda@gmail.com> wrote:Hi GitHub mavens,�� �� ��how does one download a specific patched file from GitHub?�� I want to test Pablo's fix here:I don't want to go through "View File", or clone, or anything else.�� I just want the file itself.�� How do I get it?_,,,^..^,,,_best,��Eliot