This PR will not trigger the formatter job as discussed here: https://github.com/QEDjl-project/QEDbase.jl/pull/19
Nevertheless, since this is copied from the other packages, it can be merged without checking the trigger (because it worked after merging in the other repos as well).
TD;DR
This PR will not trigger the formatter job as discussed here: https://github.com/QEDjl-project/QEDbase.jl/pull/19 Nevertheless, since this is copied from the other packages, it can be merged without checking the trigger (because it worked after merging in the other repos as well).