mirror of https://github.com/MariaDB/server
Browse Source
Bug#68338 RFE: make tmpdir a build-time configurable option Post-push fix: windows needs DEFAULT_TMPDIR as well.pull/73/head
1 changed files with 9 additions and 11 deletions
Loading…
Reference in new issue