On 10/26/2017 5:54 PM, Carl Eugen Hoyos wrote: > Hi! > > This was apparently forgotten after the bump. > > Please comment, Carl Eugen Huh, i thought i had removed all the disabled API the other day. LGTM of course.