2017.12.01 14:00 "[Tiff] Removing the "mike" branch", by

Would anyone object to removing the "mike" branch (https://gitlab.com/libtiff/libtiff/tree/mike)? The commit contains no content other than CVS IDs getting updated for the branch number (https://gitlab.com/libtiff/libtiff/commit/92e21237f4dfd043a7d407e5e2b4e28121b6f450).

  It was never used in CVS, and was carried over to git as an empty
branch (other than the ID updates).

Thanks,

Roger