Processed: closing 748125

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> close 748125 7.8.4-1
Bug #748125 [ghc] System.Posix.Directory.readDirStream can return strings that S.P.Files.getFileStatus cannot use
Bug #748126 [ghc] System.Posix.Directory.readDirStream can return strings that S.P.Files.getFileStatus cannot use
Marked as fixed in versions ghc/7.8.4-1.
Marked as fixed in versions ghc/7.8.4-1.
Bug #748125 [ghc] System.Posix.Directory.readDirStream can return strings that S.P.Files.getFileStatus cannot use
Bug #748126 [ghc] System.Posix.Directory.readDirStream can return strings that S.P.Files.getFileStatus cannot use
Marked Bug as done
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
748125: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748125
748126: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748126
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems