diff options
| author | Robert Norton | 2016-08-01 16:55:20 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-08-01 16:55:20 +0100 |
| commit | cf9ae21a76aa0e5e98633847d4468a8d813b0a72 (patch) | |
| tree | fb5719d1baf6df7ba0406416b5b954c291dc204d /src/sail.ml | |
| parent | 74aef0cc74487bbc1646f1761d573f572935a9c7 (diff) | |
Complete transition to merged perms. We need to take care to keep around the unused reserved permissions for when copying data, and stragely for candperms too.
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions