Re: [O] Bug: org-mobile-push fails, org-agenda-filter not defined [7.8.03 (release_7.8.03.5.gd3a45)]

[Bastien]

Hi Charles,

Charles Sebold <address@hidden> writes:

> This was happening yesterday and today; it appears that this happened
> with the category filtering changes, but this is the first chance I've
> gotten to do an org-mobile-push since then.

This should be fixed now, thanks.

-- 
 Bastien