Ihor Radchenko writes: > Hi, > > I recently noticed that org-agenda-filter does not match tags with > capital letters because all the stored tags in agenda are downcased. > The attached patch is fixing the issue. Though, ideally, it would be > better if agenda filter were case-sensitive for tags.
I agree, though I also agree that you're patch is an improvement. Pushed (75ccb9719). Thanks.
