Verified Commit 03203272 authored 5 years ago by georg

INSTALL: Update Debian package status

Also, make the note generic, to omit the need to update it "constantly".

Closes #76

parent 74682aef

No related branches found

No related tags found

No related merge requests found

Pipeline #25667 passed with warnings 5 years ago