[imp] Folder names with tilde character

Jan Schneider jan at horde.org
Fri Nov 20 17:13:20 UTC 2015


Zitat von Jens Wahnes <wahnes at uni-koeln.de>:

> On Thu, Nov 19 2015, at 22:28:35 +0100, Jan Schneider wrote:
>
>> http://github.com/horde/horde/commit/2cc3963358d08fe180db41a0bdeb2b7844bf47ac
>
> Many thanks to both of you!  I tried that code and, so far, it works
> very well.  Could it be that the comment in the source code has a typo?
> Shouldn't it read "But keep *if* it is not used as string identifier." or
> something like that?
>
>
> Jens

Indeed, fixed, thanks!

-- 
Jan Schneider
The Horde Project
http://www.horde.org/



More information about the imp mailing list