Processed: tagging 327211, bug 327211 is forwarded to http://pauillac.inria.fr/bin/caml-bugs/fixed?id=3607

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.9.7
> tags 327211 + upstream
Bug#327211: Wrong order in Map.fold
There were no tags set.
Tags added: upstream

> forwarded 327211 http://pauillac.inria.fr/bin/caml-bugs/fixed?id=3607
Bug#327211: Wrong order in Map.fold
Noted your statement that Bug has been forwarded to http://pauillac.inria.fr/bin/caml-bugs/fixed?id=3607.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)