When attempting to set the regular channel trigger source in the ADC, only EXTI 11 appears as a choice. If I switch to injected channels, all possible trigger sources appear. A bug? or am not not setting things up correctly? (I did enable a timer's TRGO to update, to make it available as a trigger.)
