The problem with the width of the GPIO pinMask datatype in gpio8xx.h (as well as the UART_CFG_TXPOL mistake) is not corrected in the latest version despite the promise given above to have it in april version.
Is this not the place to report such problems? If not, where is it then?