diff options
author | Julian Andres Klode <jak@debian.org> | 2016-01-23 15:02:48 +0100 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-01-23 15:13:04 +0100 |
commit | 19819ac58a420275e0ae9aa7e2a34c72cba8af5e (patch) | |
tree | 3834146d4cd0084b9bbb87e1fb51237722af3cc8 /AUTHORS | |
parent | 0c20302f5a02f9961b1a5c63913434ba03dcf3a0 (diff) |
Pass the old map size to ReMap()
This allows us to check if a value to be remapped was inside
the cache or not, which will become useful at a later point.
Gbp-Dch: ignore
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions