We're at 0.90.0 Which is starting to be a ridiculous 0.x number.
I suggestion (since we do a release every month) is to move to the YEAR.MONTH numbering so basically next release would be 20.08.0 What do you think? Albert _______________________________________________ poppler mailing list poppler@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/poppler
