[erlang-questions] Possible enhancement for Makefile.in of R14B01

[Boris Mühmer]

> It's great that you want to submit patches, but please do not use pull 
> request to submit it.
> Instead you should follow the instructions on 
> https://github.com/erlang/otp/wiki/Submitting-patches.
> 
> Regards,
> Niclas Axelsson, Erlang/OTP

Sorry... I already did that... :-(

I also wrote a notification to "erlang-patches@REDACTED"...

Should I remove this "Pull Request" (if this is possible at all)?


  - boris