bug#46016: broken Proof-General (emacs front-end to Coq)

2021-01-22 Thread zimoun
Hi Mark, On Thu, 21 Jan 2021 at 16:26, Mark H Weaver wrote: > I've been carrying the attached commit on my private branch for a while > now. It may be an improvement, but I've forgotten the details. I > used Thanks! It helps. Based on your patch, I have tweaked a bit and now “bin/proofgenera

bug#45179: qutebrowser stuck at Cloudflare 'browser checks'

2021-01-22 Thread ben--- via Bug reports for GNU Guix
On Tue, 22 Dec 2020, Michael Rohleder wrote: > Hello bdju, > > "bdju" writes: >> guix (GNU Guix) 91e35e32a4938e0e37499c64fa8ed3e7cf51dce3 >> some example sites with browser checks: >> https://gitlab.com/users/sign_in >> http://livechart.me/ > > A workaround is setting the "User Agent" string to s

bug#45911: authorized-fields is not/badly documented

2021-01-22 Thread raingloom
On Wed, 20 Jan 2021 09:49:09 +0100 Ludovic Courtès wrote: > Hi, > > raingloom skribis: > > > I'm still confused about what the proper way to store the config > > info is. Like how I should even store it as Scheme source code. > > Did you see this section and do you find it helpful? > >