Richard Möhn

Results 8 issues of Richard Möhn

I'm trying to modify git-merge-po so that it accepts an option like -Xours. However, I have a hard time understanding how it works, not least because the documentation of the...

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Read about bug reporting in general: https://rspamd.com/doc/faq.html#how-to-report-bugs-found-in-rspamd *...

bug

There are several places in the code where a `Context` is constructed from datastore contents like this: ```python all_successors = [Context(args[0], db, args[1], parent=args[2]) for args in answer_successors + workspace_successors]...

For exercising Patchwork with random inputs. Implementation notes: - I don't know if the code involving threading is correct. - Leave many TODOs, because doing them would good, but isn't...

Exhibit 1: ``` What is your root question? > Question: [$1: ] Scratchpad: [$1: ] Subquestions: > ``` Exhibit 2: ``` What is your root question? > What is the...

``` What is your root question? > What is your favourite colour? Question: [$1: What is your favourite colour?] Scratchpad: [$2: ] Subquestions: > ask What is your favourite colour?...

Don't try to understand the title. Look at this scenario instead: ``` What is your root question? > Who wrote Gödel, Escher, Bach? Question: [$1: Who wrote Gödel, Escher, Bach?]...

It appears that the HTML source of nytimes.com was changed to HTML5 and the `div` tags for stories became `article` tags. As a result, the `*story-selector*` doesn't work anymore. My...