a3nm
Hi, When loading the page on Firefox Mobile (Firefox 67.0.3 on Android), once the page is done loading, the "Play" button is greyed out. Clicking "Reset" multiple times does not...
Hi, https://github.com/lk-geimfari/expynent gives a link to http://expynent.rtfd.io which is a 404. Hope that's useful,
I couldn't easily find which license applies to this project (to figure out whether it is free software as in free speech). There should probably be a COPYING file at...
Hello, I'd like to use rofi as a menu with history for various things: music tracks, PDF documents, etc. To this end, I run rofi in dmenu emulation mode, providing...
Hi, I'm a bit puzzled to see companies listed only by name, wouldn't there be some kind of ambiguity about which is meant? Shouldn't the list be augmented with precise...
Hi, I'm having a problem with the metropolis theme, which I think is a recent regression (the problem now appears on documents that were fine when I compiled them with...
Hi, I'm experiencing choppy sound with Chromium 83.0.4096.0 on Android, testing here: https://ethereum.karimratib.me:8080/ which uses soundfont-player (please ignore the certificate warning). I hope this helps! best regards
Bonjour, Je crois avoir remarqué un petit bug : quand on édite un thème dans l'interface d'administration, avec /admin/parametres_edittpl.php, spécifiquement un fichier CSS, l'échappement des backslashes est mal géré. Par...
In [publication lists](https://dissem.in/search/?authors=Pierre+Senellart&page=8) some papers are listed with "1970" as a year, apparently because this is a default value. These papers should be displayed differently, e.g., indicating "Unknown year" (and...
A comment by Pierre: it would be a good idea to have some sort of monitoring with HTTP queries on the production instance, to easily detect major problems (e.g., the...