Matthias Fischmann

(build timestamp would be nice.)

me too :)

@arianvp could you take a quick look? the actual change is trivial, i'm just wondering if the version bounds driven by the change are acceptable, or whether we want to...

(we should probably fix this for all occurrances, not only the ones that we encounter during testing.)

@rittermo ok, I'm re-opening this and moving it to it.2. These messages are generated with a template from case-specific sentence fragments, so to get precisely the wording you suggested would...

we need to come up with a way to take out all german text for review by editors. it'll be interesting to extend whatever system we can come up with...

related: #788.

why is this an enhancement? and what's wrong with `assert`? they have a nice syntax for contract documentation, and they give good error messages. instead of banning `assert`, i would...

same goes for ideas, btw. need to check that the "authored ideas" tab does not leak any private ideas to users outside the class.

i think this has been resolved.