forked from amazingfate/loongoffice
likely caused by commit 89340fcb6509afd1bffea7b6060d5ff5a444b3f1 Author: Noel Grandin <noel.grandin@collabora.co.uk> Date: Wed May 20 13:45:07 2020 +0200 use for-range on Sequence in f* but since this code appears to be currently unused, was never caught Change-Id: I0e2f8eade9376ccd18ad9a63e6d5e3012a659938 Reviewed-on: https://gerrit.libreoffice.org/c/core/+/103381 Tested-by: Jenkins Reviewed-by: Noel Grandin <noel.grandin@collabora.co.uk>