[erlang-patches] Shell History to Erlang

[Fredrik]

Since not anyone have had the time to look into it in detail, getting it 
like a patch would put it in the "tasks queue" for us to review it. In 
that way you would get a decision much faster.
We think it would be a cool feature but it needs to be reviewed and have 
been run in all the tests before taking a decision.

BR Fredrik Gustafsson
Erlang OTP Team
On 12/18/2012 04:31 PM, Fred Hebert wrote:
> Does this mean it has a chance of making it there? The original thread I
> posted months ago asked if there were any chances for it to be included.
> If the OTP team is not interested in the solution in any way, it's no
> use losing my time formatting only to have it dismissed -- that's why I
> asked the question in the first place, and never got an answer.
>
> If there's a chances the OTP team is interested, I'll try and find the
> time to format things and send it as a proper patch.
>
> Regards,
> Fred.
>
> On 12/18, Fredrik wrote:
>> Could you please follow the instructions here:
>> https://github.com/erlang/otp/wiki/submitting-patches
>> And we will review your patch.
>>
>> BR Fredrik Gustafsson
>> Erlang OTP Team
>> On 12/18/2012 02:15 PM, Fred Hebert wrote:
>>> Here's the original description back from February:
>>> http://erlang.org/pipermail/erlang-patches/2012-February/002645.html
>>>
>>> Regards,
>>> Fred.
>>>
>>> On 12/18, Fredrik wrote:
>>>> Hello Andrew!
>>>> What patch is this about?
>>>>
>>>> BR Fredrik Gustafsson
>>>> Erlang OTP Team
>>>> On 12/17/2012 08:23 PM, Andrew Thompson wrote:
>>>>> On Mon, Feb 13, 2012 at 10:28:33AM +0100, Henrik Nord wrote:
>>>>>> This will have to wait for a technical board meeting. I will let you
>>>>>> know as soon as the meeting has been held.
>>>>> It's been 10 months, are there any updates on this?
>>>>>
>>>>> Andrew
>>>>> _______________________________________________
>>>>> erlang-patches mailing list
>>>>> erlang-patches@REDACTED
>>>>> http://erlang.org/mailman/listinfo/erlang-patches
>>>> _______________________________________________
>>>> erlang-patches mailing list
>>>> erlang-patches@REDACTED
>>>> http://erlang.org/mailman/listinfo/erlang-patches
>> _______________________________________________
>> erlang-patches mailing list
>> erlang-patches@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-patches