We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Original bug ID: 6524 Reporter: @gasche Assigned to: @damiendoligez Status: closed (set by @xavierleroy on 2017-02-16T14:14:15Z) Resolution: fixed Priority: normal Severity: feature Version: 4.02.1+dev Fixed in version: 4.03.0+dev / +beta1 Category: standard library Tags: github, patch
Github Pull Request by Daniel Bünzli: #79
You sometimes want to be able to specify the permissions of the temporary file. See for example this issue: ocsigen/js_of_ocaml#182
The text was updated successfully, but these errors were encountered:
Comment author: @gasche
This has been merged in trunk (future 4.03).
Sorry, something went wrong.
damiendoligez
No branches or pull requests
Original bug ID: 6524
Reporter: @gasche
Assigned to: @damiendoligez
Status: closed (set by @xavierleroy on 2017-02-16T14:14:15Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 4.02.1+dev
Fixed in version: 4.03.0+dev / +beta1
Category: standard library
Tags: github, patch
Bug description
Github Pull Request by Daniel Bünzli:
#79
File attachments
The text was updated successfully, but these errors were encountered: