Robin Munn

https://docs.github.com/en/get-started/writing-on-github/working-with-advanced-formatting/attaching-files says the maximum file size for issue attachments is 10 MB for images and videos (100 MB for videos if the uploader has a paid plan) and 25 MB...

The offending 0x50 0x4b 0x6d 0x01 sequence appears right at the end of the file, about where the central file directory header (0x50 0x4b 0x01 0x02) would be expected. I...

I think I've figured out what's going on. The file size of the uncompressed state.tar file is 6128619520 bytes. If you convert that to hex, 6128619520 is 0x16d4b5000. Does that...

@neilmayhew - I think I answered that with the edit I was making while you commented. :-) But basically, it's both. The zip file is technically invalid due to the...

So this bug could only trigger under the following conditions: 1. The zip file does not contain an extra field of type 0x0001 (zip64). 2. It *does* contain a data-description...

Correction: the zip file **is valid**. There is, in fact, a zip64 extra field — but it's at the end of the file (in the central directory record), not immediately...

> Another alternative has just occurred to me. If the upload action could arrange for the Zip64 marker to be put at the beginning of the file instead of at...

A few possible alternatives we might consider: * https://github.com/videolan/libvlcsharp — C# bindings to the libvlc library (written in C), which is the backend that powers the VLC media player. Does...

I'd like to see @paul43's idea, if implemented, given the name `mergeWith`, while `Map.merge` remains the equivalent of calling `Map.mergeWith Map.add` since that's the most commonly-desired scenario.

Using `/dev/shm` as mentioned in the https://github.com/sillsdev/libpalaso/pull/1141/commits/3301b97a8574f57ec2cf70720d2c0d00f83a9bc5 commit message is probably a good idea; it won't survive a reboot, but that's actually a feature when it comes to a global...