[dokuwiki] SV: Re: Search not finding capital letter words
- From: "Lindgren Daniel" <daniel.lindgren@xxxxxxxxxxxxx>
- To: <dokuwiki@xxxxxxxxxxxxx>
- Date: Thu, 25 Aug 2011 18:10:01 +0200
> This sounds like a bug in the first Rincewind release that
> occurs with a certain PHP version and has been fixed in the meantime:
> http://bugs.dokuwiki.org/index.php?do=details&task_id=2270
>
> The fix has been included in the 2011-05-25a hotfix release.
> Are you already using that release or are you still using the
> "old" Rincewind release?
We're using the original release, I'll update.
Thanks for the help!
Cheers,
Daniel
--
DokuWiki mailing list - more info at
http://www.dokuwiki.org/mailinglist
Other related posts:
- » [dokuwiki] SV: Re: Search not finding capital letter words - Lindgren Daniel
