> > I'm not sure though if this is intended behavior or just a bug

> Well, actually I am using version 4.1 and I do see the difference, are
> you sure it is not working as intended ?

Well, as I said above, I'm definitely not sure. I would most likely consider it 
being a bug.
Nevertheless, it's a rather contrived example, so I would not bother too much 
... 

_______________________________________________
Help-make mailing list
Help-make@gnu.org
https://lists.gnu.org/mailman/listinfo/help-make

Reply via email to