Damien Zammit, le lun. 16 nov. 2020 09:06:16 +1100, a ecrit: > On 16/11/20 8:16 am, Samuel Thibault wrote: > > BTW, I believe we don't want to expose the /dev/ prefix, that'd be > > surprising for users (I myself made the mistake). translate_name can > > prepend /dev/ itself. > OK I can send in a patch for this.
I implemented it. Samuel
