Something like that was suggested when major upgrades were being done to the build commands system, it was judged to be too complicated and rejected.

But that was some time ago, now that everybody has got settled with the system it might be accepted, pull requests are welcome.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.