2013/3/7 Jakub Wilk <jwilk@debian.org>: > * Jakub Wilk <jwilk@debian.org>, 2013-02-22, 22:30: > >> Can we please remove debian/source/local-options from our repositories? I >> don't think storing them in VCS makes sense. > > > Silence implies consent, right? > > Unless I hear an objection, I'll remove these files from our repositories in > a few days. Yup, I don't see any reason not to delete them. Greetings, Miry