debian/copyright says GPL-3+, but source is GPL-3 (DEP 5 for bonus points! :))
But yeah, this is an exceedingly trivial package and source. Approved, and I'll just mark fix released since it was already promoted.
debian/copyright says GPL-3+, but source is GPL-3 (DEP 5 for bonus points! :))
But yeah, this is an exceedingly trivial package and source. Approved, and I'll just mark fix released since it was already promoted.