Jürgen Spitzmüller wrote:
> Richard, this needs to go to branch as well, as an addition to 2f3acae9.
No, sorry. Actually, it's (only) this that needs to go to branch also.
dumpPreamble() exits after the preamble, so we need to restore the parenthood
there:
commit 63612ca99b4961c5997c788626da815
Richard, this needs to go to branch as well, as an addition to 2f3acae9.
Jürgen
Am Freitag 05 Oktober 2012, 18:28:44 schrieb Juergen Spitzmueller:
> The branch, master, has been updated.
>
> - Log -
>
> commit e6afdf1b2b1f707a69ac
