Out of hundreds of succesful edits, some files just ignore crop/orientation

I exported a bunch of files the other day, taken on two cameras, and noticed that a handful of files taken on one camera aren’t exporting properly. The thumbnail in the lighttable view is fine and shows changes to orientation, saturation and cropping, but the exported one ignores cropping and orientation, although it honours the saturation. Is this a bug, or something I’ve done wrong?

example: https://drive.google.com/open?id=13qXrtGbkRUwaJCuQCkxR-A5BWE9PtyRo

I raised a ticket: https://redmine.darktable.org/issues/12195