Kyle Meyer <[email protected]> writes: > 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.
Applied, as commit 75ccb9719 This message is being sent to update our issue tracker at https://tracker.orgmode.org
