[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] Unable to push to org-mobile
From: |
Dror Atariah |
Subject: |
Re: [O] Unable to push to org-mobile |
Date: |
Sun, 12 Jan 2014 13:17:11 +0100 |
On Dec 15, 2013, at 15:17 PM, Nick Dokos wrote:
> 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.
Update: I have just updated from ELPA, and the patch is not there... I had to
re-patch the missing line.
Best,
Dror
- Re: [O] Unable to push to org-mobile,
Dror Atariah <=