hol-light release 1:3.1.0-2 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
[dgit split-maint-view-tag=38ff706384acce7ff7972762b68fcc4748de1477]