hrg-packaging

Merge proposals dependent on lp://staging/~hrg/hrg-packaging/choreonoid-bettercontact-plugin-deb

  1. choreonoid-bettercontact-plugin-deb
  2. Dependent merge proposals

lp://staging/~hrg/hrg-packaging/choreonoid-bettercontact-plugin-deb has no merge proposals.