v3.1.2
This is a mirror providing the single required header file.
The original repository can be found at: d2dd27dc3b
d2dd27dc3b