holy wow they merged it

@ptr_to_joel commit is missing the "made no mistake" suffix