X32 unavailable

[javiergutierrezchamorro]

X32 DOS Extender previously available at dosextender.com is dead. Any chance to mirror it?

[FrenkelS]

https://github.com/Olde-Skuul/KitchenSink/tree/master/sdks/dos/x32

[javiergutierrezchamorro]

https://github.com/Olde-Skuul/KitchenSink/tree/master/sdks/dos/x32

Thank you so much.