v12.4.0

Gael MILLOT

@gmillot

1f36f3fc · release v12.4.0: fun_gg_empty_graph improved so that no need to use pdf(NULL) anymore · Apr 13, 2023

release v12.4.0: fun_gg_empty_graph improved so that no need to use pdf(NULL) anymore