Control: found -1 9.21-1 This bug is still present. However I think that the right fix would be remove the recommendation on the DejaVu font entirely. Indeed the DejaVu font is not the only one providing good Unicode support, and one should remember that users are not supposed to remove recommended packages (or refuse their installation) unless they know what they are doing.
-- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)