8 Dec
2015
8 Dec
'15
2:56 a.m.
On Mon, 7 Dec 2015 21:37:09 +0100 Dominik Fischer <d.f.fischer@web.de> wrote:
This behavior may be intended though. If so, this corner case should perhaps be noted in the documentation. Please review and comment.
Actually that is exactly what some of our packages want to do so I'd consider it a bug. Nice find!