May 06 2022
05:54 AM hansu: pere: #1724 is ready for merge, but I thought it would be good to squash commits now. What do you think?
06:02 AM pere: I agree. did you rebase?
06:02 AM hansu: no, I think it is better if the author of the PR do that