Merge branch 'experimental'
commit6ab5830717c0f3aca6460e3c4a671e2cb1b1e698
authorBenjamin Kaduk <kaduk@mit.edu>
Thu, 4 Jan 2018 02:34:11 +0000 (3 20:34 -0600)
committerBenjamin Kaduk <kaduk@mit.edu>
Thu, 4 Jan 2018 02:35:30 +0000 (3 20:35 -0600)
tree0f53aa0dc99a8e2fa0f5a2a720e8a6f26f7d1fdc
parent643e99b615e73d2c0144f45cc9ad4130ba50c8a7
parent2327a578144a905638c07be33309339b531fbfc5
Merge branch 'experimental'

Bring in the accumulated packaging changes needed for the 1.8.0 branch
in preparation for (temporarily, at least) retiring the 'experimental'
branch.

Change-Id: I037ac47de0f2c8aaf7451e321866b08262fb3267
debian/changelog