Commit 24ed2787 authored by Holger Levsen's avatar Holger Levsen
Browse files

reproducible debian: use bold font in note to explain bold font

parent 15f3b811