Re: [O] Unable to push to org-mobile

[Nick Dokos]

Dror Atariah <address@hidden> writes:

> On Dec 14, 2013, at 22:06 PM, Nick Dokos wrote:
>
>> Nick Dokos <address@hidden> writes:
>> 
>>> Dror Atariah <address@hidden> writes:
>>> 
>>>> 2. What's next? I believe this is a bug... How can I report it?
>>> 
>>> Consider it reported - thanks for checking it. I'll push the proposed fix 
>>> later
>>> on today. If it is wrong, we can revert it later, but at least for now
>>> it seems to fix the bug.
>>> 
>> 
>> I pushed the patch.
>
> Does it mean that I could update the installation through ELPA tomorrow and 
> the patch will be there?
>
I don't think so - I pushed the patch to the master branch of the git
repo. But I'm not clear on what happens next, so somebody else will have
to answer your question.

-- 
Nick