notforwarded 627856 merge 613473 627856 quit Hi Thomas,
Thomas Schwinge wrote: > On Thu, 30 Jun 2011 17:51:11 -0600, Eric Blake <[email protected]> wrote: >> [rationale that this is] not a case of a bug in dash. > > Should this issue be closed then? It still is a commonly desired feature. Let's merge it with the request for a "differences from bash" document. Thanks, Jonathan -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
