diff options
author | John Millikin <jmillikin@stripe.com> | 2018-03-01 04:58:07 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-03-01 05:00:07 -0800 |
commit | c92d54e99dbaaf34b5a8e315e164f468f7d7c559 (patch) | |
tree | 4354dcf6cb2f33af63922d55fd1f56f0813d2041 /CONTRIBUTORS | |
parent | d2c226c84ba9da80141ed964d2d79a39663d804e (diff) |
Sync Debian package deps, and add a comment to prevent future desync.
Commit c8be465869fbcfaa00b75d241c67279324976e0b added the headless JDK
to `debian/control`, but this isn't propagating to published packages
because those use the deps list in `debian/BUILD`.
This commit adds the headless JDK to `debian/BUILD`, with comments so
future changes won't hit the same problem.
Closes #4686.
PiperOrigin-RevId: 187461399
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions