Details
-
Improvement
-
Status: Resolved
-
Low
-
Resolution: Fixed
-
None
Description
Sorry for the somewhat vague summary, but while doing some quick profiling on the plane, I noticed 3 places which could be slightly and trivially improved (I don't mean by that that they are the only 3 places that can be improved, I just semi-randomly looked at those), so I've pushed 3 commits for those here. There is no particular link between the 3 commits but they are trivial enough that I don't have the courage to open 3 tickets. Each commit description should provide enough informations on what each commit is about so I won't repeat it here.