Adjust character encoding for encoding error message
authorJoey Schulze <joey@infodrom.org>
Thu, 26 Apr 2018 17:28:04 +0000 (19:28 +0200)
committerJoey Schulze <joey@infodrom.org>
Sun, 6 May 2018 12:23:55 +0000 (14:23 +0200)
commit98e518b969a8041a37a8baf2c988e9d876a3a1bc
tree308a6bfcfb96e03e24fc8ee43e421dacc3e88696
parent78a78c11b61577e9ad611bb877236058a2363aee
Adjust character encoding for encoding error message
src/future.php