Closed jpc-lip6 closed 1 year ago
Fix various non-critical but annoying problems.
Hi JP, looks good, but can you use rebase to remove the merge commit (and make sure those changes make it into the relevant commits)
Fix various non-critical but annoying problems.