Tucker Taft writes:
>Please move this discussion to the ARG GitHub issue:
> https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/85
I put this discussion here because it is more of a gripe session than
anything actionable, and I didn't want to pollute the actual problem with
it.
I think it is important to realize that this is a completely useless
feature, but I do agree that that doesn't give us license to have it broken
in some way.
Randy.
________________________________________________________
You have received this message because you subscribed to the Ada-Comment
mailing list. To leave the Ada-Comment list, send an email with
'leave Ada-Comment' in the body to [email protected]. For help
on the other commands available, send 'help Ada-Comment' to the same address.
Problems? Send mail to [email protected]. This list is operated by the
Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685.
