andreasgal/j2me.js — pull request #789 by mykmelez (2014-12-29 04:59:23+00:00)
Title: rename file without changing mtime

Renaming a file currently changes its mtime, since the file gets deleted and recreated. It shouldn't do that. Here's the fix.