mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 11:01:52 +01:00
15f1e03d46
Some places didn't match the previous rules, making the Floor address wrong. Additional sed rules: sed -i -e 's/Place.*Suite .*, Boston/Street, Fifth Floor, Boston/g' sed -i -e 's/Suite .*, Boston/Fifth Floor, Boston/g' |
||
---|---|---|
.. | ||
sync0arr.c | ||
sync0rw.c | ||
sync0sync.c |