STM32: UART deinit doesn't seem to work

[S4WRXTTCS]

Firmware
Adafruit CircuitPython 6.1.0 on 2021-01-21; Adafruit Feather STM32F405 Express with STM32F405RG

Code/REPL
import board
import busio
uart = busio.UART(board.TX, board.RX, baudrate=9600)
uart.deinit()
uart = busio.UART(board.TX, board.RX, baudrate=9600)
Traceback (most recent call last):
File "", line 1, in
ValueError: Hardware in use, try alternative pins

Behavior
What I expect is that the deinit will release the bus, but it doesn't seem to. Is there an alternative way to release it?

[hierophect]

Looks like de-init doesn't release it from the internal reservation table. Thanks for reporting!