See now 7faa9bf9860b for a related issue.
We had a personal conversation that it is very likely that the remaning
issues will disappear after the next big envisaged reform of the
analysis material.
Cheers,
Florian
Am 07.08.2016 um 10:47 schrieb Florian Haftmann:
> Hi Johannes,
>
> that
See now rev. 76302202a92d
Thanks for contributing!
Cheers,
Florian
Am 08.08.2016 um 14:44 schrieb Bertram Felgenhauer:
> Florian Haftmann wrote:
>> Hi Bertram,
>>
>>> How shall we proceed? As I hinted at earlier I do not have (nor want, at
>>> this point) push access, but I can prepare