Closed alexandergotts closed 7 months ago
fix
You actually changed the title of the pr, not of the commit. Anyway, my message was intended to the person who will merge the pr.
@alexandergotts, next time, please file the PR against "devel" branch, not master. I wasn't careful enough this time.
When merging we would be careful to set the commit message. Something like.
Replace get_class() call, deprecated since PHP 8.3