Re: https://manpages.debian.org/ - PARTIAL breakage

2017-02-25 Thread Michael Stapelberg
at 9:22 AM, Paul Wise wrote: > On Sat, Feb 25, 2017 at 4:15 PM, Michael Stapelberg wrote: > > > It doesn’t unconditionally prefer Spanish pages over English pages. What > > you’re seeing is that it picks a section first (1 instead of 8, in this > > case) and sticks to it

Re: https://manpages.debian.org/ - PARTIAL breakage

2017-02-25 Thread Michael Stapelberg
It doesn’t unconditionally prefer Spanish pages over English pages. What you’re seeing is that it picks a section first (1 instead of 8, in this case) and sticks to it. In section 1, the best match for an English request is the Spanish page, because there is no English page. The rationale behind t

Bug#823180: getting openssl error when trying to enroll my browser

2016-05-01 Thread Michael Stapelberg
Package: sso.debian.org Severity: normal I’m logged into sso.debian.org using my password and I’m on https://sso.debian.org/spkac/enroll/. When clicking “Get certificate” (not changing any of the form fields), the resulting page contains a red message stating “/usr/bin/openssl failed”. Is this an

Re: Suggestion: add note about httpredir to debian.org/mirror/list

2016-04-03 Thread Michael Stapelberg
Great, thank you! On Sun, Apr 3, 2016 at 9:48 PM, Holger Wansing wrote: > Hi, > > Holger Wansing wrote: > > Michael Stapelberg wrote: > > > Hey, > > > > > > friends of mine were unaware that http://httpredir.debian.org/ exists > and > > &g

Re: Suggestion: add note about httpredir to debian.org/mirror/list

2016-03-25 Thread Michael Stapelberg
Sounds good to me. Thanks for taking care of this! On Fri, Mar 25, 2016 at 7:59 PM, Holger Wansing wrote: > Hi, > > Michael Stapelberg wrote: > > Hey, > > > > friends of mine were unaware that http://httpredir.debian.org/ exists > and > > pointed out tha

Suggestion: add note about httpredir to debian.org/mirror/list

2016-01-31 Thread Michael Stapelberg
Hey, friends of mine were unaware that http://httpredir.debian.org/ exists and pointed out that our official documentation doesn’t mention it. Specifically, they read https://www.debian.org/mirror/list and then proceeded to hand-pick a mirror. I think it would be beneficial to our users if we ad