[Pkg-aide-maintainers] Bug#472692: Bug#472692: 70_aide_dev fails on devices with # in their names

[Ian Redfern]

I hereby authorise any reader to use the contents of my previous bug
report (#472692) for any purpose. I confirm that it does not contain
proprietary material or confidential information, and is not subject to
legal privilege. I hereby permit it to be copied, disclosed to, retained
or used by any third party. I confirm that the attached email disclaimer
does not apply to it.

Specifically, I confirm that it may be used to provide a patch to the
Debian AIDE package, and I hereby place any such patch under the GNU
General Public License (GPL).

Thanks,
Ian Redfern.


This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.