3 ms·
Yes, please, that would be very helpful: https://github.com/build2/build2/issues https://github.com/build2/build2/issues
by boris 6y ago
Yes, please, that would be very helpful: https://github.com/build2/build2/issues https://github.com/build2/build2/issues
- skore 6y ago"issue" filed. My apologies for the lack of brevity. https://github.com/build2/build2/issues/135 https://github.com/build2/build2/issues/135