Bug#815683: marked as done (liburdfdom-headers-dev: gratuitous pointer size check)

Mon Mar 14 13:51:04 UTC 2016

Your message dated Mon, 14 Mar 2016 13:49:26 +0000
with message-id <E1afSsA-0004vj-N7 at franck.debian.org>
and subject line Bug#815683: fixed in urdfdom-headers 0.4.1-2
has caused the Debian Bug report #815683,
regarding liburdfdom-headers-dev: gratuitous pointer size check
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)

-- 
815683: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815683
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: "Aaron M. Ucko" <amu at alum.mit.edu>
Subject: liburdfdom-headers-dev: gratuitous pointer size check
Date: Tue, 23 Feb 2016 12:34:41 -0500
Size: 5046
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20160314/318f1e24/attachment-0002.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Jose Luis Rivero <jrivero at osrfoundation.org>
Subject: Bug#815683: fixed in urdfdom-headers 0.4.1-2
Date: Mon, 14 Mar 2016 13:49:26 +0000
Size: 4654
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20160314/318f1e24/attachment-0003.mht>