On 2019-Sep-02, Jürgen Purtz wrote:
> We plan to integrate figures into version 12. Currently there are 2 resp. 3
> figures in git (BETA3 / master). This may be intended - or not. Additionally
> there are some patches in the mailing list.
I purposefully pushed that figure to master only; pg12 is
We plan to integrate figures into version 12. Currently there are 2
resp. 3 figures in git (BETA3 / master). This may be intended - or not.
Additionally there are some patches in the mailing list.
The attached patch summarizes everything for an integration into BETA3:
3 figures, common attribu
