Hi, On Wed, Jul 19, 2017 at 10:13:58AM +0200, Miklos Vajna <vmiklos@collabora.co.uk> wrote:
OK to push or are there any concerns? (IIRC I do have commit access, I contributed a fix 2-3 years ago.)
David, do you have an opinion on this? Thanks, Miklos -- To unsubscribe e-mail to: devel+unsubscribe@documentliberation.org Problems? http://www.libreoffice.org/get-help/mailing-lists/how-to-unsubscribe/ Posting guidelines + more: http://wiki.documentfoundation.org/Netiquette List archive: http://listarchives.documentliberation.org/www/devel/ All messages sent to this list will be publicly archived and cannot be deleted