#4752: improved configure script
-+-
Reporter: Forgon| Owner:
Type: patch (an actual patch, not | Status: new
a request for one) | Milesto
#4752: improved configure script
-+-
Reporter: Forgon| Owner:
Type: patch (an actual patch, not | Status: new
a request for one) | Milesto
#4752: improved configure script
-+-
Reporter: Forgon| Owner:
Type: patch (an actual patch, not | Status: new
a request for one) | Milesto
#4752: improved configure script
-+-
Reporter: Forgon| Owner:
Type: patch (an actual patch, not | Status: new
a request for one) | Milesto