diff options
| author | Micah Anderson <micah@leap.se> | 2015-09-03 13:03:01 -0400 |
|---|---|---|
| committer | Micah Anderson <micah@leap.se> | 2015-09-08 12:06:51 -0400 |
| commit | ffd340e7b014bc9f35fb6f9365230d483650cc1d (patch) | |
| tree | d82df5b52f7bbe3407a9166bfd85ee8e7b3243c8 /vagrant/vagrant.config | |
| parent | be8f7335cc273f85a1949557962dd65d88548679 (diff) | |
rewrite openpgp header to be always correct (#7413)
The openpgp header added by the client is sometimes incorrect, because
the client doesn't actually know what the proper URL is for the
webapp. The server knows, however.
Change-Id: I2243b19a6337d8e0be97590e2ca9c9c0b0fffdac
Diffstat (limited to 'vagrant/vagrant.config')
0 files changed, 0 insertions, 0 deletions